dblp.uni-trier.de www.uni-trier.de

Journal of Automated Reasoning (JAR), Volume 25

Volume 25, Number 1, July 2000

Volume 25, Number 2, August 2000

Volume 25, Number 3, October 2000

Volume 25, Number 4, November 2000

Copyright © Mon Nov 2 21:43:12 2009 by Michael Ley (ley@uni-trier.de)