Stefaan Decorte Danny De Schreye Michael Leuschel Bern Martens Konstantinos F. Sagonas Termination Analysis for Tabled Logic Programming. 111-127 1997 conf/lopstr/1997 LOPSTR http://link.springer.de/link/service/series/0558/bibs/1463/14630111.htm db/conf/lopstr/lopstr97.html#DecorteSLMS97