@article{speck-et-al-jair2025,
  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},
  volume       = 82,
  pages        = {1349--1405},
  year         = 2025,
}