@inproceedings{speck-et-al-icaps2019,
  author       = {David Speck and Florian Gei{\ss}er and Robert Mattm{\"u}ller and
    {\'A}lvaro Torralba},
  title        = {Symbolic Planning with Axioms},
  pages        = {464--472},
  editor       = {Nir Lipovetzky and Eva Onaindia and David E. Smith},
  booktitle    = {Proceedings of the Twenty-Ninth International Conference on Automated
    Planning and Scheduling (ICAPS 2019)},
  year         = 2019,
  publisher    = {AAAI Press},
}