Prime Implicate Generation in Equational Logic (extended abstract).

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Browse the full IJCAI paper archive.