Guarantees for Sound Abstractions for Generalized Planning (Extended Paper) | Publicación