Journal of Automated Reasoning (JAR), Volume 7

Volume 7, Number 1, March 1991

Basic Research Problems Problem Corner

Volume 7, Number 2, June 1991

Basic Research Problems Problem Corner

Volume 7, Number 3, September 1991

Basic Research Problems Problem Corner

Volume 7, Number 4, December 1991

Basic Research Problems Problem Corner
maintained by Schloss Dagstuhl LZI at University of Trier