Habel, Annegret, and Hendrik Radke. “Expressiveness of Graph Conditions With Variables”. Electronic Communications of the EASST, vol. 30, Nov. 2010, doi:10.14279/tuj.eceasst.30.404.