Login / Signup

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

Bruce SpencerJoseph Douglas Horton
Published in: J. Autom. Reason. (2000)
Keyphrases