On Induction vs. *-Continuity (1981)

by Dexter Kozen
Venue:In: Proc. Logics of Programs, Lecture Notes in Computer Science (LNCS) 131