A Rewriting Strategy to Generate Prime Implicates in Equational Logic.

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Browse the full CADE paper archive.