Author:
Iwanuma Koji,Kishino Kenichi
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Owen Astrachan, METEOR: exploring model elimination theorem proving, J. Automated Reasoning 13 (1994) 283–296.
2. O.L. Astrachan and D.W. Loveland, The use of lemmas in the model elimination procedure, J. Automated Reasoning 19 (1997) 117–141.
3. O.L. Astrachan and M.E. Stickel, Caching and lemmaizing in model elimination theorem provers, Proc. CADE-11, LNAI 607 (1992) 224–238.
4. P. Baumgartner and U. Furbach, Model elimination without contrapositives and its application to PTTP, J. Automated Reasoning 13 (1994) 339–360.
5. R.S. Boyer and J.S. Moore, A Computational Logic Handbook (Academic Press, Inc.) (1988)