"Quantified Constraint Satisfaction on Monoids."

Hubie Chen, Peter Mayr (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics