Journal of Automated Reasoning (JAR), Volume 9

Volume 9, Number 1, August 1992

Studies in Automated Reasoning Basic Research Problems

Volume 9, Number 2, October 1992

Basic Research Problems

Volume 9, Number 3, 1992

Studies in Automated Reasoning Basic Research Problems