Kristof Verschaetse Stefaan Decorte Danny De Schreye Automatic Termination Analysis. 168-183 1992 LOPSTR db/conf/lopstr/lopstr92.html#VerschaetseDS92