Pople, H. E., Jr. "Heuristic methods for imposing structure on ill-structured problems: the structuring of medical diagnostics"Artificial Intelligence In Medicine. P. Szolovits, Westview Press, 1982 pp119-190.

Languages mentioned

• GOL {1969} Extension to LISP for predicate calculus