Behnke, G. Symbolic Reasoning Methods for AI Planning. AAAI 2024, 38, 22661-22661.