Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions.

Erich Grdel, Stephan Kreutzer

Browse the full LICS paper archive.