Complement Problems and Tree Automata in AC-like Theories (Extended Abstract).

Denis Lugiez, J. L. Moysset

Browse the full STACS paper archive.