"A Definability Dichotomy for Finite Valued CSPs."

Anuj Dawar, Pengming Wang (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics