Playing with Quantified Satisfaction.

Nikolaj S. Bjrner, Mikols Janota

Browse the full LPAR paper archive.