@article{Culik_1976,
    doi = {10.1016/0304-3975(76)90066-9},
    url = {https://doi.org/10.1016%2F0304-3975%2876%2990066-9},
    year = {1976},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {3},
    number = {1},
    pages = {75--84},
    author = {K. Culik},
    title = {On the decidability of the sequence equivalence problem for {DOL}-systems},
    journal = {Theoretical Computer Science}
}

@article{Culik_1976, doi = {10.1016/0304-3975(76)90066-9}, url = {https://doi.org/10.1016%2F0304-3975%2876%2990066-9}, year = {1976}, month = {oct}, publisher = {Elsevier {BV}}, volume = {3}, number = {1}, pages = {75--84}, author = {K. Culik}, title = {On the decidability of the sequence equivalence problem for {DOL}-systems}, journal = {Theoretical Computer Science} }