@inproceedings{Bulatov04:graph, title = "A Graph of a Relational Structure and Constraint Satisfaction Problems", author = "Andrei A. Bulatov", year = "2004", booktitle = "Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS'04)", pages = "448-45", url = "http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920448abs.htm", }