Sandro Etalle Annalisa Bossi Nicoletta Cocco Termination of Well-Moded Programs. 243-257 1999 38 J. Log. Program. 2 db/journals/jlp/jlp38.html#EtalleBC99