Resolving contradictions: A plausible semantics for inconsistent systems Eliezer L. Lozinskii OriginalPaper Pages: 1 - 31
Introduction to the OBDD algorithm for the ATP community J Strother Moore OriginalPaper Pages: 33 - 45
TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic TaƤieb Mellouli OriginalPaper Pages: 47 - 87
Tractability through symmetries in propositional calculus Belaid BenhamouLakhdar Sais OriginalPaper Pages: 89 - 102
Resolution theorem proving in reified modal logics J. Stuart AitkenHan ReichgeltNigel Shadbolt OriginalPaper Pages: 103 - 129