Journal of Automated Reasoning (JAR), Volume 8

Volume 8, Number 1, February 1992

Studies in Automated Reasoning

Volume 8, Number 2, April 1992

Basic Research Problems

Volume 8, Number 3, June 1992

Basic Research Problems