Med, J., L. Chrpa, M. Morak, and W. Faber. “Weak and Strong Reversibility of Non-Deterministic Actions: Universality and Uniformity”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 34, no. 1, May 2024, pp. 369-77, doi:10.1609/icaps.v34i1.31496.