H. J. S. Bruggink and M. Hülsbusch, “Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages”, eceasst, vol. 41, May 2011.