Non-deterministic Action Reversibility: Complexity Results.

Jakub Med, Michael Morak, Luks Chrpa, Wolfgang Faber

Browse the full KR paper archive.