Theorem proving with ordering constrained clauses (1992)

by R Nieuwenhuis, A Rubio
Venue:11th International Conference on Automated Deduction, Lecture Notes in Computer Science