Negation Elimination in Equational Formulae.

Hubert Comon, Maribel Fernndez

Browse the full MFCS paper archive.