Pople, H. E. and G. Werner "An information processing approach to theory formation in biomedical research"

[AFIPS] (1972) [AFIPS] Proceedings of the 1972 Spring Joint Computer Conference SJCC 40  

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