Associative-Commutative Deducibility Constraints.

Sergiu Bursuc, Hubert Comon-Lundh, Stphanie Delaune

Browse the full STACS paper archive.