Expressive Equivalence of Least and Inflationary Fixed−Point Logic - Kreutzer, S (Proc. of the 17th Symp. on Logic in Computer Science (LICS), 2002)