@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,
}