Chris Speirs Zoltan Somogyi Harald Søndergaard Termination Analysis for Mercury. 160-171 1997 conf/sas/1997 SAS db/conf/sas/sas97.html#SpeirsSS97