Med, J.; Chrpa, L.; Morak, M.; Faber, W. Weak and Strong Reversibility of Non-Deterministic Actions: Universality and Uniformity. ICAPS 2024, 34, 369-377.