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

- Peter Baumgartner, Stefan Brüning
- Journal of Automated Reasoning
- 1997

Highly Influenced

@inproceedings{Letz1993FirstorderCA, title={First-order calculi and proof procedures for automated deduction}, author={Reinhold Letz}, year={1993} }

- Published 1993

### Presentations referencing similar topics