Ibn Muhājir, Abraham (Abū Iṣḥāq) Ben Meʾir - Saénz-Badillos, Angel (Encyclopedia of Jews in the Islamic World T3 - BrillOnline Reference Works, 2010)