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