Iqāmat al-ḥuǧǧa bi-'d-dalīl šarḥ ʿalá Naẓm Ibn-Bādī li-Muḫtaṣar Ḫalīl - Bilʿālim, Muḥammad Bay (Dār Ibn-Ḥazm, 2007)