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

maintained by Schloss Dagstuhl LZI at University of Trier