Efficient Local Unfolding with Ancestor Stacks for Full Prolog (2005)

by G Puebla, E Albert, M Hermenegildo
Venue:In 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’04), number 3573 in LNCS