Rewrite-based deduction and symbolic constraints (1999)

by Robert Nieuwenhuis
Venue:16th International Conference on Automated Deduction, LNAI 1632