Germán Puebla Elvira Albert Manuel V. Hermenegildo Efficient Local Unfolding with Ancestor Stacks for Full Prolog. 149-165 2004 conf/lopstr/2004 LOPSTR http://dx.doi.org/10.1007/11506676_10 db/conf/lopstr/lopstr2004.html#PueblaAH04