TALP: A Tool for the Termination Analysis of Logic Programs. - Enno Ohlebusch; Claus Claves; Claude Marché (RTA, 2000)