Jean-Louis Lassez Michael J. Maher Kim Marriott Elimination of Negation in Term Algebras. 1-16 1991 MFCS db/conf/mfcs/mfcs91.html#LassezMM91 http://dx.doi.org/10.1007/3-540-54345-7_44