TY - BOOK AU - 31 TI - SYMBOLIC COMPUTING WITH LISP AND PROLOG SN - 9780471607717 ER -