Symbolic computing with Lisp and prolog - Mueller, Robert A; Page, Rex L (John Wiley & Sons, 1988)