Egon Wanke
-
Efficient decision procedures for graph properties on context-free graph languages
Journal of the ACM (JACM)