Lightweight Nontermination Inference with CHCs.

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full SEFM paper archive.