Journal of Automated Reasoning (JAR), Volume 19

Volume 19, Number 1, August 1997

Volume 19, Number 2, October 1997

Volume 19, Number 3, December 1997

a service of Schloss Dagstuhl - Leibniz Center for Informatics