E. Wanke;M. Wiegers
-;-
Efficient decision procedures for graph properties on context-free graph languages
Journal of the ACM (JACM)