Journal of Automated Reasoning (JAR), Volume 16

Volume 16, Numbers 1-2, March 1996

Automated Mathematical Induction

Volume 16, Number 3, June 1996

Studies in Automated Reasoning Research Articles