DMCA

Theorem Proving with Ordering and Equality Constrained Clauses (1995)

Cached

Download Links

by Robert Nieuwenhuis , Albert Rubio
Venue:Journal of Symbolic Computation
Citations:75 - 20 self