@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