@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,
}