Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation