@article{pozo-et-al_faia2024,
  author       = {Pozo, Martín and Torralba, Álvaro and Linares López, Carlos},
  journal      = {Frontiers in Artificial Intelligence and Applications},
  pages        = {4287 -- 4294},
  title        = {Gotta Catch'Em All! Sequence Flaws in CEGAR for Classical Planning},
  volume       = 392,
  year         = 2024,
}