Expressive Equivalence of Least and Inflationary Fixed−Point Logic - Kreutzer, S (2004)