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