"About cut elimination for logics of common knowledge."

Luca Alberucci, Gerhard Jäger (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics