Preserving termination of tabled logic programs while unfolding (1997)

by M Leuschel, B Martens, K Sagonas
Venue:Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'97), LNCS