#### DMCA

## Theorem Proving with Ordering and Equality Constrained Clauses (1995)

by
Robert Nieuwenhuis
,
Albert Rubio

Venue: | Journal of Symbolic Computation |

Citations: | 75 - 20 self |