A Rewriting Strategy to Generate Prime Implicates in Equational Logic

M. Echenim,N. Peltier,Sophie Tourret
DOI: https://doi.org/10.1007/978-3-319-08587-6_10
2014-07-19
Abstract:
What problem does this paper attempt to address?