@inproceedings{salerno-et-al-ipc2023,
  author       = {Mauricio Salerno and Raquel Fuentetaja and Jendrik Seipp},
  title        = {{Spock}: {Fast Downward Stone Soup} with Redundant Action Elimination},
  booktitle    = {Tenth {I}nternational {P}lanning {C}ompetition ({IPC}-10): Planner
    Abstracts},
  year         = 2023,
}