A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses.

Sophie Tourret, Mnacho Echenim, Nicolas Peltier

Browse the full CADE paper archive.