Dietmar Wätjen Heike Spilker Decidability Results Concerning k-limited ED0L Systems. 13-17 1996 59 Inf. Process. Lett. 1 db/journals/ipl/ipl59.html#WatjenS96 http://dx.doi.org/10.1016/0020-0190(96)00081-6