Journal of Automated Reasoning (JAR), Volume 20

Volume 20, Number 1/2, April 1998

Logics for Artificial Intelligence

Volume 20, Number 3, June 1998

Studies in Automated Reasoning Research Articles