Charles Rich Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too. 193-196 1982 AAAI db/conf/aaai/aaai82.html#Rich82