"Expressive equivalence of least and inflationary fixed-point logic."

Stephan Kreutzer (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics