Helmut Seidl. A quadratic regularity test for non-deleting macro S grammars. In Lothar Budach, editor, Fundamentals of Computation Theory, FCT 85, Cottbus, GDR, September 9-13, 1985. Volume 199 of Lecture Notes in Computer Science, pages 422-430, Springer, 1985.
Abstract is missing.