Owen Astrachan. METEOR: Exploring model elimination theorem proving. Journal of Automated Reasoning, 13(3):283--296, 1994. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Discoveries and Experiments in the Automation of Mathematical.. - Shults (2002) (Correct)
Semantically Guided Proof Planning - Choi (Correct)
Discoveries and Experiments in the Automation of Mathematical.. - Shults (1997) (Correct)
ATP System Results for the TPTP Problem Library - Geoff Sutcliffe, Christian.. (1996) (2 citations) (Correct)
The TPTP Problem Library - Christian B. Suttner, Geoff Sutcliffe (1996) (88 citations) (Correct)
The TPTP Problem Library - Christian B. Suttner, Geoff Sutcliffe (1997) (88 citations) (Correct)
The TPTP Problem Library - Christian B. Suttner, Geoff Sutcliffe (1995) (88 citations) (Correct)
The TPTP Problem Library - Christian B. Suttner, Geoff Sutcliffe (1996) (88 citations) (Correct)
The Practice of Clausification in Automatic Theorem Proving - Geoff Sutcliffe, Stuart.. (1996) (Correct)
The TPTP Problem Library - Christian B. Suttner, Geoff Sutcliffe (1997) (88 citations) (Correct)
ATP System Results for the TPTP Problem Library - Geoff Sutcliffe, Christian.. (1995) (2 citations) (Correct)
The TPTP Problem Library - Geoff Sutcliffe, Christian Suttner (1994) (88 citations) (Correct)
The TPTP Problem Library - Christian B. Suttner, Geoff Sutcliffe (1999) (88 citations) (Correct)
The Use of Lemmas in the Model Elimination Procedure - Astrachan, Loveland (1997) (5 citations) Self-citation (Astrachan) (Correct)
The Use of Lemmas in the Model Elimination Procedure - Astrachan And (1997) (5 citations) Self-citation (Astrachan) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC