Quantified Constraints and Containment Problems.

Hubie Chen, Florent R. Madelaine, Barnaby Martin

Browse the full LICS paper archive.