Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution Bruce SpencerJ. D. Horton OriginalPaper Pages: 1 - 34
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation François BryAdnan Yahya OriginalPaper Pages: 35 - 82