Dissecting Widening: Separating Termination from Information.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full APLAS paper archive.