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