Egon Wanke
-
Efficient decision procedures for graph properties on context-free graph languages
Journal of the ACM (JACM)
Finite graph automata for linear and boundary graph languages
Theoretical Computer Science