Nielsen, M. (1973). On the Decidability of some Equivalence Problems for D0L-Systems. DAIMI Report Series, 2(20). https://doi.org/10.7146/dpb.v2i20.6439