@misc{indiciaed1e7e5f91ec8,
  title = {Guarantees for Sound Abstractions for Generalized Planning (Extended Paper)},
  author = {Blai Bonet and Raquel Fuentetaja and Yolanda E-Martin and Daniel Borrajo},
  year = {2019},
  url = {https://arxiv.org/abs/1905.12071},
  note = {Source identifier: 1905.12071}
}