@article{iterativedepthfirstsearchforfully,
  title = {Iterative Depth-First Search for Fully Observable Non-Deterministic Planning},
  author = {Ramon Fraga Pereira and André G. Pereira and Frederico Messa and Giuseppe De Giacomo},
  year = {2022},
  eprint = {2204.04322},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2204.04322v3},
}