Behnke, G. (2024). Symbolic Reasoning Methods for AI Planning. Proceedings of the AAAI Conference on Artificial Intelligence, 38(20), 22661–22661. https://doi.org/10.1609/aaai.v38i20.30277