و" الإحكام "، و" مُنْتَهى السول والأمل "، للآمدي. و" التَّوْقِيف على المعالم "، و" الْحَاصِل "، للأرموي. و" المحصل "، و" شرح المحصل "، للكاتبي. و" التَّنْقِيح "، و" شَرحه "، للقرافي.