@inproceedings{HoellerICAPS22A,
   title = {Encoding Lifted Classical Planning in Propositional Logic},
   author = {Daniel H{\"{o}}ller and Gregor Behnke},
   booktitle = {Proceedings of the 32nd International Conference on Automated Planning and Scheduling ({ICAPS})},
   publisher = {{AAAI} Press},
   pages = {134--144},
   year = {2022}
}