Fraga Pereira, R.; Pereira, A. G.; Messa, F.; De Giacomo, G. Iterative Depth-First Search for FOND Planning. ICAPS 2022, 32, 90-99.