Journal of Automated Reasoning (JAR), Volume 11

Volume 11, Number 1, August 1993

Basic Research Problems

Volume 11, Number 2, October 1993

Basic Research Problems

Volume 11, Number 3, December 1993

Studies in Automated Reasoning Basic Research Problems
a service of Schloss Dagstuhl - Leibniz Center for Informatics