Journal of Automated Reasoning (JAR), Volume 24

Volume 24, Numbers 1/2, February 2000

Volume 24, Number 3, April 2000

Volume 24, Number 4, May 2000