"Layered fixed point logic."

Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics