F. Mesnard, E. Payet, U. Neumerkel:
"Detecting Optimal Termination Conditions of Logic Programs";
Talk: 9th International Symposium on Static Analysis, SAS 2002, Madrid; 2002-09-17 - 2002-09-20; in: "Static Analysis ", G. Goos, J. Hartmanis, J. van Leeuwen (ed.); Lecture Notes in Computer Science/Springer, 2477/Berlin (2002), ISBN: 3-540-44235-9; 509 - 525.