"A Rewriting Strategy to Generate Prime Implicates in Equational Logic."

Mnacho Echenim, Nicolas Peltier, Sophie Tourret (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics