@inbook{Durand_2006,
    title = {First-Order Queries over One Unary Function},
    isbn = {9783540454595},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/11874683_22},
    doi = {10.1007/11874683_22},
    booktitle = {Computer Science Logic},
    publisher = {Springer Berlin Heidelberg},
    author = {Durand, Arnaud and Olive, Frédéric},
    year = {2006},
    pages = {334–348},
    date-added = {2025-3-9 22:13:25 +0100}
}

@inbook{Durand_2006, title = {First-Order Queries over One Unary Function}, isbn = {9783540454595}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/11874683_22}, doi = {10.1007/11874683_22}, booktitle = {Computer Science Logic}, publisher = {Springer Berlin Heidelberg}, author = {Durand, Arnaud and Olive, Frédéric}, year = {2006}, pages = {334–348}, date-added = {2025-3-9 22:13:25 +0100} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge