Ḥalabī, Ibrāhīm ibn Muḥammad, and Ibrāhīm ibn Muḥammad Ḥalabī. <i>Mukhtaṣar Ghunyat Al-Mutamallī.</i>