Symbolic computing with Lisp and prolog. - Mueller, Robert A. (John Wiley & Sons, Inc., 1988)