Scheck, S.; Niveau, A.; Zanuttini, B. Knowledge Compilation for Nondeterministic Action Languages. ICAPS 2021, 31, 308-316.