Journal of Automated Reasoning (JAR), Volume 2

Volume 2, Number 1, 1986

Problem Corner

Volume 2, Number 2, 1986

Problem Corner

Volume 2, Number 3, September 1986

Problem Corner:

Volume 2, Number 4, December 1986