Habel, A. and Radke, H. (2010) “Expressiveness of graph conditions with variables”, Electronic Communications of the EASST, 30. doi: 10.14279/tuj.eceasst.30.404.