Journal of Automated Reasoning (JAR), Volume 23

Volume 23, Number 1, July 1999

Volume 23, Number 2, August 1999

Volume 23, Numbers 3-4, November 1999