Journal of Automated Reasoning (JAR), Volume 17

Volume 17, Number 1, August 1996

Volume 17, Number 2, October 1996

Volume 17, Number 3, December 1996

a service of Schloss Dagstuhl - Leibniz Center for Informatics