"EXPERT THINKER: An Adaptation of F-Prolog to Microcomputers."

Ronald W. Satz (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics