Emmanuel Kounalis, Denis Lugiez, Loic Pottier. A Solution of the Complement Problem in Associative-Commutative Theories. In Habib Abdulrab, Jean-Pierre Pécuchet, editors, Word Equations and Related Topics, Second International Workshop, IWWERT 91, Rouen, France, October 7-9, 1991, Proceedings. Volume 677 of Lecture Notes in Computer Science, pages 197-214, Springer, 1991.
Abstract is missing.