Qayṣarī, ʻ. al-Muḥsin. Sharḥ al-ʻArūḍ al-Andalusī. .