Journal of Automated Reasoning (JAR), Volume 10

Volume 10, Number 1, February 1993

Studies in Automated Reasoning Basic Research Problems

Volume 10, Number 2, April 1993

Basic Research Problems

Volume 10, Number 3, June 1993

Basic Research Problems