Dalmau, Víctor; Kolaitis, Phokion G.; Vardi, Moshe Y. (2002), "Constraint satisfaction, bounded treewidth, and finite-variable logics", in Van Hentenryck, Pascal (ed.), Principles and Practice of Constraint Programming – CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9–13, 2002, Proceedings, Lecture Notes in Computer Science, vol. 2470, Springer, pp. 310–326, doi:10.1007/3-540-46135-3_21, ISBN978-3-540-44120-5