Ḥalabī, Ibrāhīm ibn Muḥammad. Mukhtaṣar Ghunyat Al-mutamallī. .