Journal of Automated Reasoning (JAR), Volume 39

Volume 39, Number 1, July 2007

Volume 39, Number 2, August 2007

Special Issue on User Interfaces in Theorem Proving

Volume 39, Number 3, October 2007

Special Issue on Reasoning in Description Logics

Volume 39, Number 4, December 2007