E. Scala and A. Grastien, “Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning”, ICAPS, vol. 31, no. 1, pp. 299-307, May 2021.