Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
https://rdcu.be/czgHf (Publisher version)
fooq20.pdf (Preprint), 466KB
Almagor, S., Ouaknine, J., & Worrell, J. (2021). First-Order Orbit Queries. Theory of Computing Systems, 65, 638-661. doi:10.1007/s00224-020-09976-7.