Anthony W. Lin, Sanming Zhou: A linear-time algorithm for the orbit problem over cyclic groups. Acta Informatica 53(5): 493-508 (2016)