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

Cached

Download Links

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