@inproceedings{pozo-et-al-ecai2024,
author = {Mart{\'i}n Pozo and {\'A}lvaro Torralba and Carlos {Linares L{\'o}pez}},
title = {Gotta Catch 'Em All! Sequence Flaws in {CEGAR} for Classical Planning},
pages = {4287--4294},
editor = {Ulle Endriss and Francisco S. Melo},
booktitle = {Proceedings of the 27th {European} Conference on {Artificial}
{Intelligence} ({ECAI} 2024)},
publisher = {IOS Press},
year = 2024,
}