Zaylaʻī, ʻUthmān ibn ʻAlī, Tabyīn Al-Ḥaqāʼiq Min Sharḥ Kanz Al-Daqāʼiq. [, 1452.