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

Ronald W. Satz

Browse the full CADE paper archive.