@misc{indiciaeff5bf1ce22d0, title = {Finite-on-Top-of-Temporal CSPs in Fixed-Point Logic}, author = {Manuel Bodirsky and Philipp A. Grzywaczyk}, year = {2026}, url = {https://arxiv.org/abs/2610.18287}, note = {Source identifier: 2610.18287} }