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

Peter Baumgartner Stefan Brüning A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. 205-262 1997 19 J. Autom. Reasoning 2 db/journals/jar/jar19.html#BaumgartnerB97