Theorem Proving with Ordering Constrained Clauses.

Robert Nieuwenhuis, Albert Rubio

Browse the full CADE paper archive.