Journal of Automated Reasoning (JAR), Volume 29

Volume 29, Number 1, 2002

Volume 29, Number 2, 2002

Volume 29, Number 3-4, 2002