@inproceedings{MesPayNeu2002,
author= {Fred Mesnard and Etienne Payet and Ulrich Neumerkel},
title= {Non-termination inference for optimal termination conditions of logic programs},
booktitle= {Onzi\`{e}mes Journ\'{e}es Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'02)},
address = "Nice",
publisher = "Herm\`{e}s Science Publications",
editor = "Michel Rueher",
month = may,
year = 2002}