J. Med, L. Chrpa, M. Morak, and W. Faber, “Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity”, ICAPS, vol. 34, no. 1, pp. 369-377, May 2024.