"Generalizing proofs in monadic languages."

Matthias Baaz, Piotr Wojtylak (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics