@inproceedings{bonet-et-al_ijcai2019,
  author       = {Bonet, Blai and Fuentetaja, Raquel and E-Martín, Yolanda and Borrajo,
    Daniel},
  pages        = {1566 -- 1573},
  title        = {Guarantees for sound abstractions for generalized planning},
  year         = 2019,
  editor       = {Sarit Kraus},
  booktitle    = {Proceedings of the 28th International Joint Conference on Artificial
    Intelligence (IJCAI 2019)},
  publisher    = {IJCAI},
}