Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution.

Bruce Spencer Joseph Douglas Horton Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution. 1-34 2000 25 J. Autom. Reasoning 1 db/journals/jar/jar25.html#SpencerH00