Barbara Begier Knowledge Representation Method Based On Predicate Calculus In An Intelligent CAI System. 13-18 1982 COLING http://acl.ldc.upenn.edu/C/C82/C82-1003.pdf db/conf/coling/coling1982.html#Begier82