UNC-CH/ CS/ Mechanized Inference/ Publications

Mechanical Theorem Proving, David Plaisted

This chapter originally appeared in the book Formal Techniques in Artificial Intelligence R.B. Banerji (editor), (c) Elsevier Science Publishers B.V. (North Holland), 1990.
[PostScript (450Kb)] [DVI (280Kb)]

Equational Reasoning and Term Rewriting Systems, David Plaisted

From The Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1, edited by Dov Gabbay and Jorg Siekmann, newly published by Oxford University Press.
[PostScript (584Kb)] [DVI (379Kb)]

The Use of Semantics in Instance-Based Proof Procedures, David Plaisted

A survey of our past work in theorem proving.
[PostScript (172Kb)] [DVI (91Kb)]

A Bibliography of Instance-Based Theorem Proving, David Plaisted

[HTML]

UNC Technical Reports