Logic-based Languages For Solving Reversibility in Planning.

Wolfgang Faber, Michael Morak

Browse the full SAC paper archive.