A Solution of the Complement Problem in Associative-Commutative Theories.

Emmanuel Kounalis, Denis Lugiez, Loic Pottier

Browse the full MFCS paper archive.