Inflationary fixed points in modal logic (2004)

by A Dawar, E Grädel, S Kreutzer
Venue:in Proc. of the 10th Conf. on Computer Science Logic, LNCS