Higher-Order and Symbolic Computation, Volume 12

Volume 12, Number 1, April 1999

Volume 12, Number 2, September 1999

Volume 12, Number 3, October 1999

Volume 12, Number 4, December 1999