G. Behnke, “Symbolic Reasoning Methods for AI Planning”, AAAI, vol. 38, no. 20, pp. 22661–22661, Mar. 2024.