Elimination of Negation in Term Algebras.

Jean-Louis Lassez, Michael J. Maher, Kim Marriott

Browse the full MFCS paper archive.