Journal of Automated Reasoning (JAR), Volume 4

Volume 4, Number 1, March 1988

Basic Research Problems

Volume 4, Number 2, June 1988

Basic Research Problems Problem Corner

Volume 4, Number 3, September 1988

Basic Research Problems Problem Corner

Volume 4, Number 4, December 1988

Basic Research Problems Problem Corner