Jakub Med, Lukás Chrpa, Michael Morak, Wolfgang Faber: Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. ICAPS 2024: 369-377