MPI-INF/SWS Research Reports 1991-2021
2. Number - All Departments
MPI-I-2005-2-004
A Framework of refutational theorem proving for saturation-based decision procedures
Kazakov, Yevgeny
2005, ? pages.
.Status: number not used - withdrawn
- Attachement: *No Attachements
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/2005-2-004
BibTeX@TECHREPORT{Kazakov2005,
AUTHOR = {Kazakov, Yevgeny},
TITLE = {A Framework of refutational theorem proving for saturation-based decision procedures},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-2005-2-004},
YEAR = {2005},
ISSN = {0946-011X},
}