Prime Implicate Generation in Equational Logic (extended abstract). - Echenim, Mnacho; Peltier, Nicolas; Tourret, Sophie (2018)