Paolo Mascellani, Dino Pedreschi: Proving termination of Prolog programs. GULP-PRODE (1) 1994: 46-61