Quantifier-Free Equational Logic and Prime Implicate Generation.

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Browse the full CADE paper archive.