"Regression in Modal Logic."

Robert Demolombe, Andreas Herzig, Ivan José Varzinczak (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics