S. Scheck, A. Niveau, and B. Zanuttini, “Knowledge Compilation for Nondeterministic Action Languages”, ICAPS, vol. 31, no. 1, pp. 308-316, May 2021.