Jürgen Brauburger Jürgen Giesl Termination Analysis for Partial Functions. 113-127 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#BrauburgerG96