Journal of Automated Reasoning (JAR), Volume 6

Volume 6, Number 1, March 1990

Basic Research Problems Problem Corner

Volume 6, Number 2, June 1990

Basic Research Problems Problem Corner

Volume 6, Number 3, September 1990

Basic Research Problems Problem Corner

Volume 6, Number 4, December 1990

Basic Research Problems Problem Corner