@article{speck-et-al-jair2024,
  author       = {David Speck and Jendrik Seipp and {\'A}lvaro Torralba},
  title        = {Symbolic Search for Cost-Optimal Planning with Expressive Model
    Extensions},
  journal      = {Journal of Artificial Intelligence Research},
  year         = 2024,
}