(1)
Höller, D.; Behnke, G. Encoding Lifted Classical Planning in Propositional Logic. ICAPS 2022, 32, 134-144.