Author:Sophie Tourret

Publications
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses Sophie Tourret, Mnacho Echenim and Nicolas Peltier In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning