D. Speck, F. Geißer, R. Mattmüller, and Álvaro Torralba, “Symbolic Planning with Axioms”, ICAPS, vol. 29, no. 1, pp. 464-472, May 2021.