A. Shleyfman, “On Computational Complexity of Automorphism Groups in Classical Planning”, ICAPS, vol. 29, no. 1, pp. 428–436, Jul. 2019.