Login / Signup

A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion.

Peter BaumgartnerStefan Brüning
Published in: J. Autom. Reason. (1997)
Keyphrases