Zaylaʻī, ʻUthmān ibn ʻAlī. <i>Tabyīn Al-ḥaqāʼiq Min Sharḥ Kanz Al-daqāʼiq.</i> [, 1452.