External Links

    Journal: Journal of Automated Reasoning

    Volume 14, Issue 2

    189 -- 235Adel Bouhoula, Michaël Rusinowitch. Implicit Induction in Conditional Theories
    237 -- 255Allan Ramsay. Theorem Proving for Intensional Logic
    257 -- 291Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang. Automated Production of Traditional Proofs in Solid Geometry
    293 -- 316Deepak Kapur, G. Sivakumar, Hantao Zhang. A Path Ordering for Proving Termination of AC Rewrite Systems
    317 -- 323Kumar V. Vadaparty. On the Complexity of Nested-Object Matching
    325 -- 351Donald W. Loveland, David W. Reed, Debra Sue Wilson. SATCHMORE: SATCHMO with REIevancy
    runs on