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
• François Bry, Adnan H. Yahya: Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. 35-82

Volume 25, Number 2, August 2000

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

Volume 25, Number 3, October 2000

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

Volume 25, Number 4, November 2000

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