A knowledge representation language for university requirements. - Martin Charles Golumbic; Moshe Markovich; Michael L. Tiomkin (Decis. Support Syst., 1991)