Pople, H. E. "The Formation of Composite Hypotheses in Diagnostic Problem-solving: An Exercise in Synthetic Reasoning"

[Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977  

Languages mentioned GOL {1969} Extension to LISP for predicate calculus