pdf bibKnowledge Representation Method Based on Predicate Calculus in an Intelligent CAI SystemBarbara BegierColing 1982: Proceedings of the Ninth International Conference on Computational Linguistics