Reversibility in monadic algebras and automata

Zamir Bavel, David E. Muller

Browse the full FOCS paper archive.