Ghaznawī, ʻU. ibn I. (1300). Sharḥ al-Mughnī.