Bruggink, H. J. S., & Hülsbusch, M. (2011). Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages. Electronic Communications of the EASST, 41. https://doi.org/10.14279/tuj.eceasst.41.580