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

by Germán Puebla , Elvira Albert , Manuel Hermenegildo
Venue:In Proc. of LOPSTR’04
Citations:17 - 13 self