Computing rational solutions of linear matrix inequalities. - Qingdong Guo; Mohab Safey El Din; Lihong Zhi (ISSAC, 2013)