Higher-Order and Symbolic Computation April 2000 Volume 13 Issue 1-2

(2000)