SYMBOLIC COMPUTING WITH LISP AND PROLOG - MUELLER, ROBERT A (1), PAGE, REX L (2) (JW NEW YORK, 1988)
BR-482