Non-Termination Inference for Optimal Termination Conditions of Logic Programs.

Frédéric Mesnard Étienne Payet Ulrich Neumerkel Non-Termination Inference for Optimal Termination Conditions of Logic Programs. 87- 2002 conf/jfplc/2002 JFPLC db/conf/jfplc/jfplc2002.html#MesnardPN02