Termination Analysis for Tabled Logic Programming.

Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas

Browse the full LOPSTR paper archive.