Höller, Daniel, and Gregor Behnke. 2022. “Encoding Lifted Classical Planning in Propositional Logic”. Proceedings of the International Conference on Automated Planning and Scheduling 32 (1):134-44. https://ojs.aaai.org/index.php/ICAPS/article/view/19794.