@inbook{Hilaire_2024,
    title = {A State-of-the-Art Karp-Miller Algorithm Certified in Coq},
    isbn = {9783031572463},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-57246-3_21},
    doi = {10.1007/978-3-031-57246-3_21},
    booktitle = {Lecture Notes in Computer Science},
    publisher = {Springer Nature Switzerland},
    author = {Hilaire, Thibault and Ilcinkas, David and Leroux, Jérôme},
    year = {2024},
    pages = {370–389},
    date-added = {2024-4-18 10:36:11 +0100}
}

@inbook{Hilaire_2024, title = {A State-of-the-Art Karp-Miller Algorithm Certified in Coq}, isbn = {9783031572463}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-57246-3_21}, doi = {10.1007/978-3-031-57246-3_21}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer Nature Switzerland}, author = {Hilaire, Thibault and Ilcinkas, David and Leroux, Jérôme}, year = {2024}, pages = {370–389}, date-added = {2024-4-18 10:36:11 +0100} }