Journal of Automated Reasoning (JAR), Volume 8

Volume 8, Number 1, February 1992

Studies in Automated Reasoning

Volume 8, Number 2, April 1992

Basic Research Problems

Volume 8, Number 3, June 1992

Basic Research Problems
maintained by Schloss Dagstuhl LZI at University of Trier