MUELLER, ROBERT A (1), PAGE, REX L (2) SYMBOLIC COMPUTING WITH LISP AND PROLOG - NEW YORK JW 1988 - 469 BR-482 ISBN: KBCS 35 Dewey Class. No.: 1117