كشف المشكل في النحو. لعلي بن سليمان، الملقب: بحيدة اليمني. المتوفى: سنة ٥٩٩، تسع وتسعين وخمسمائة. وقد قال في مدح كتابه، وأجاد. صنف للمتأدبين مصنفا * سميته بكتاب كشف المشكل سبق الأوائل مع تأخر عصره * كم آخر أزرى بفضل الأول قيدت فيه كل ما قد أرسلوا * ليس المقيد كالكلام المرسل