Efficient Local Unfolding with Ancestor Stacks for Full Prolog | Publicación