Reversible Ordered Restarting Automata.

Friedrich Otto, Matthias Wendlandt, Kent Kwee

Browse the full RC paper archive.