A. Habel and H. Radke, “Expressiveness of graph conditions with variables”, eceasst, vol. 30, Nov. 2010.