A. Shleyfman, “On Computational Complexity of Automorphism Groups in Classical Planning”, ICAPS, vol. 29, no. 1, pp. 428-436, May 2021.