Emmanuel Kounalis Denis Lugiez Loic Pottier A Solution of the Complement Problem in Associative-Commutative Theories. 287-297 1991 MFCS db/conf/mfcs/mfcs91.html#KounalisLP91 http://dx.doi.org/10.1007/3-540-54345-7_72