@inbook{Makowsky_2025,
    title = {The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting},
    isbn = {9783031896101},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-89610-1_2},
    doi = {10.1007/978-3-031-89610-1_2},
    booktitle = {Logic and Its Applications},
    publisher = {Springer Nature Switzerland},
    author = {Makowsky, Johann A.},
    year = {2025},
    pages = {34–37},
    date-added = {2025-5-31 7:37:28 +0100}
}

@inbook{Makowsky_2025, title = {The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting}, isbn = {9783031896101}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-89610-1_2}, doi = {10.1007/978-3-031-89610-1_2}, booktitle = {Logic and Its Applications}, publisher = {Springer Nature Switzerland}, author = {Makowsky, Johann A.}, year = {2025}, pages = {34–37}, date-added = {2025-5-31 7:37:28 +0100} }