Speck, David, Florian Geißer, Robert Mattmüller, and Álvaro Torralba. 2021. “Symbolic Planning With Axioms”. Proceedings of the International Conference on Automated Planning and Scheduling 29 (1):464-72. https://doi.org/10.1609/icaps.v29i1.3511.