Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.

Frédéric Mesnard Ulrich Neumerkel Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. 93-110 2001 conf/sas/2001 SAS http://link.springer.de/link/service/series/0558/bibs/2126/21260093.htm db/conf/sas/sas2001.html#MesnardN01