Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions. - Ogihara, M.; Uchizawa, K. (Theory of Computing Systems, 2023)