Scheck S, Niveau A, Zanuttini B. Knowledge Compilation for Nondeterministic Action Languages. ICAPS [Internet]. 2021May17 [cited 2024Jul.17];31(1):308-16. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/15975