Qiu, Zirou, Chen Chen, Madhav Marathe, S.S. Ravi, Daniel J. Rosenkrantz, Richard Stearns, and Anil Vullikanti. “Finding Nontrivial Minimum Fixed Points in Discrete Dynamical Systems: Complexity, Special Case Algorithms and Heuristics”. Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 9 (June 28, 2022): 9422-9430. Accessed August 7, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/21174.