@inbook{Culik_1977,
    title = {The sequence equivalence problem for dol systems is decidable},
    isbn = {9783540373056},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/3-540-08342-1_12},
    doi = {10.1007/3-540-08342-1_12},
    booktitle = {Automata, Languages and Programming},
    publisher = {Springer Berlin Heidelberg},
    author = {Čulik, K. and Friš, I.},
    year = {1977},
    pages = {148–163},
    date-added = {2025-3-9 18:49:55 +0100}
}

@inbook{Culik_1977, title = {The sequence equivalence problem for dol systems is decidable}, isbn = {9783540373056}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/3-540-08342-1_12}, doi = {10.1007/3-540-08342-1_12}, booktitle = {Automata, Languages and Programming}, publisher = {Springer Berlin Heidelberg}, author = {Čulik, K. and Friš, I.}, year = {1977}, pages = {148–163}, date-added = {2025-3-9 18:49:55 +0100} }