Sergej Scheck, Alexandre Niveau, Bruno Zanuttini: Knowledge Compilation for Nondeterministic Action Languages. ICAPS 2021: 308-316