Constraint satisfaction, bounded treewidth, and finite-variable logics (2002)

by V Dalmau, Ph G Kolaitis, M Y Vardi
Venue:In Proc. of the Eighth Int. Conference on Principles and Practice of Constraint Programming (CP 2002), Lecture Notes in Computer Science