(1)
Scala, E.; Grastien, A. Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning. ICAPS 2021, 31, 299-307.