@inproceedings{salerno-et-al-kr2023, author = {Mauricio Salerno and Raquel Fuentetaja and Jendrik Seipp}, title = {Eliminating Redundant Actions from Plans using Classical Planning}, booktitle = {Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)}, year = 2023, }