Theorem Proving with Ordering and Equality Constrained Clauses | Publicación