Speck, D.; Geißer, F.; Mattmüller, R.; Torralba, Álvaro. Symbolic Planning With Axioms. ICAPS 2021, 29, 464-472.