D. Höller and G. Behnke, “Encoding Lifted Classical Planning in Propositional Logic”, ICAPS, vol. 32, no. 1, pp. 134-144, Jun. 2022.