@inproceedings{ijcai2019p217, title = {Guarantees for Sound Abstractions for Generalized Planning}, author = {Bonet, Blai and Fuentetaja, Raquel and E-Martín, Yolanda and Borrajo, Daniel}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {1566--1573}, year = {2019}, month = {7}, doi = {10.24963/ijcai.2019/217}, url = {https://doi.org/10.24963/ijcai.2019/217}, }