@inbook{Leroux_2024,
    title = {Ackermannian Completion of Separators},
    isbn = {9783031572289},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-57228-9_1},
    doi = {10.1007/978-3-031-57228-9_1},
    booktitle = {Foundations of Software Science and Computation Structures},
    publisher = {Springer Nature Switzerland},
    author = {Leroux, Jérôme},
    year = {2024},
    pages = {3–10},
    date-added = {2024-4-18 20:8:0 +0100}
}

@inbook{Leroux_2024, title = {Ackermannian Completion of Separators}, isbn = {9783031572289}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-57228-9_1}, doi = {10.1007/978-3-031-57228-9_1}, booktitle = {Foundations of Software Science and Computation Structures}, publisher = {Springer Nature Switzerland}, author = {Leroux, Jérôme}, year = {2024}, pages = {3–10}, date-added = {2024-4-18 20:8:0 +0100} }