Efficient decision procedures for graph properties on context-free graph languages. - Lengauer, Thomas; Wanke, Egon (Journal of the ACM, 1993)