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

E. Grädel and S. Kreutzer

book title	IEEE Symp. of Logic in Computer Science (LICS)
year	2003

people

Stephan Kreutzer