Efficient Local Unfolding with Ancestor Stacks | Publicación