Charles Rich: Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too. AAAI 1982: 193-196