Preserving Termination of Tabled Logic Programs While Unfolding (1997)

by Michael Leuschel , Bern Martens , Konstantinos Sagonas
Venue:In Proc. of the 7th Int’l Workshop on Logic Programming Synthesis and Transformation (LOPSTR’97
Citations:15 - 9 self