"Descriptive complexity of approximate counting CSPs."

Andrei A. Bulatov, Víctor Dalmau, Marc Thurley (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics