A Logical Characterization of the Sets of Hypergraphs Defined by Hyperedge Replacement Grammars

@article{Courcelle1995ALC,
  title={A Logical Characterization of the Sets of Hypergraphs Defined by Hyperedge Replacement Grammars},
  author={Bruno Courcelle and Joost Engelfriet},
  journal={Mathematical Systems Theory},
  year={1995},
  volume={28},
  pages={515-552}
}