@inproceedings{speck-seipp-icaps2022,
  author       = {David Speck and Jendrik Seipp},
  title        = {New Refinement Strategies for {Cartesian} Abstractions},
  pages        = {348--352},
  editor       = {Sylvie Thi{\'e}baux and William Yeoh},
  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated
    Planning and Scheduling (ICAPS 2022)},
  year         = 2022,
  publisher    = {AAAI Press},
}