Preserving Termination of Tabled Logic Programs While Unfolding.

Michael Leuschel, Bern Martens, Konstantinos Sagonas

Browse the full LOPSTR paper archive.