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