Will Deflation Lead to Depletion? On Non−Monotone Fixed−Point Inductions (IEEE Symp. of Logic in Computer Science (LICS), 2003)

(untitled) - Grädel, E; Kreutzer, S