@inbook{Farzan_2026,
    author = {Azadeh Farzan and Zachary Kincaid},
    doi = {https://dx.doi.org/10.1007/978-3-032-13711-1_4},
    title = {{The Beauty of Predicate Automata}},
    isbn = {9783032137111},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-032-13711-1_4},
    booktitle = {On the Pursuit of Insight and Elegance},
    publisher = {Springer Nature Switzerland},
    year = {2026},
    pages = {54--74},
    date-added = {2026-1-12 13:18:20 +0100},
    date-modified = {2026-1-12 13:40:1 +0100},
    nextcloud = {https://yossarian.ddns.net:4843/nextcloud/index.php/apps/files/files?dir=/Library/bibliographer/./library/entries/Farzan_2026/}
}

@inbook{Farzan_2026, author = {Azadeh Farzan and Zachary Kincaid}, doi = {https://dx.doi.org/10.1007/978-3-032-13711-1_4}, title = {{The Beauty of Predicate Automata}}, isbn = {9783032137111}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-032-13711-1_4}, booktitle = {On the Pursuit of Insight and Elegance}, publisher = {Springer Nature Switzerland}, year = {2026}, pages = {54--74}, date-added = {2026-1-12 13:18:20 +0100}, date-modified = {2026-1-12 13:40:1 +0100}, nextcloud = {https://yossarian.ddns.net:4843/nextcloud/index.php/apps/files/files?dir=/Library/bibliographer/./library/entries/Farzan_2026/} }