LISP and Symbolic Computation, 8(4) 1995

(1995)