Muḥaqqiq al-Thānī, ʻAlī ibn al-Ḥusayn. <i>Jāmiʻ Al-maqāṣid [fī sharḥ Al-Qawāʻid].</i> 1800.