Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel. Non-Termination Inference for Optimal Termination Conditions of Logic Programs. In Michel Rueher, editor, Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France. pages 87, 2002.
@inproceedings{MesnardPN02,
title = {Non-Termination Inference for Optimal Termination Conditions of Logic Programs},
author = {Frédéric Mesnard and Étienne Payet and Ulrich Neumerkel},
year = {2002},
tags = {termination, logic programming, logic},
researchr = {https://researchr.org/publication/MesnardPN02},
cites = {0},
citedby = {0},
pages = {87},
booktitle = {Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France},
editor = {Michel Rueher},
}