Journal of Automated Reasoning (JAR), Volume 25

Volume 25, Number 1, July 2000

• Bruce Spencer, Joseph Douglas Horton: Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution. 1-34 BibTeX
• François Bry, Adnan H. Yahya: Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. 35-82 BibTeX

Volume 25, Number 2, August 2000

• Hongbo Li: Vectorial Equations Solving for Mechanical Geometry Theorem Proving. 83-121 BibTeX
• Dieter Hutter, Michael Kohlhase: Managing Structural Information by Higher-Order Colored Unification. 123-164 BibTeX

Volume 25, Number 3, October 2000

• David A. Plaisted, Yunshan Zhu: Ordered Semantic Hyper-Linking. 167-217 BibTeX
• Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang: A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. 219-246 BibTeX

Volume 25, Number 4, November 2000

• Marek A. Suchenek: Evaluation of Queries under Closed-World Assumption. Part II: The Hierarchical Case. 247-289 BibTeX
• A. Prasad Sistla, Clement T. Yu: Reasoning about Qualitative Spatial Relationships. 291-328 BibTeX