Med, Jakub, Lukáš Chrpa, Michael Morak, and Wolfgang Faber. 2024. “Weak and Strong Reversibility of Non-Deterministic Actions: Universality and Uniformity”. Proceedings of the International Conference on Automated Planning and Scheduling 34 (1):369-77. https://doi.org/10.1609/icaps.v34i1.31496.