Termination Analysis for Mercury.

Chris Speirs, Zoltan Somogyi, Harald Sndergaard

Browse the full SAS paper archive.