Negation Elimination in Equational Formulae

• Authors:

• Hubert Comon;Maribel Fernández

• Affiliations:

• -;-

• Venue:
• MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
• Year:
• 1992