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.