@inbook{Best_2024,
    title = {Decidability of the Reachability Problem},
    isbn = {9783031482786},
    issn = {2731-5762},
    url = {http://dx.doi.org/10.1007/978-3-031-48278-6_18},
    doi = {10.1007/978-3-031-48278-6_18},
    booktitle = {Computer Science Foundations and Applied Logic},
    publisher = {Springer Nature Switzerland},
    author = {Best, Eike and Devillers, Raymond},
    year = {2024},
    pages = {397–426},
    date-added = {2024-2-17 8:17:43 +0100}
}

@inbook{Best_2024, title = {Decidability of the Reachability Problem}, isbn = {9783031482786}, issn = {2731-5762}, url = {http://dx.doi.org/10.1007/978-3-031-48278-6_18}, doi = {10.1007/978-3-031-48278-6_18}, booktitle = {Computer Science Foundations and Applied Logic}, publisher = {Springer Nature Switzerland}, author = {Best, Eike and Devillers, Raymond}, year = {2024}, pages = {397–426}, date-added = {2024-2-17 8:17:43 +0100} }