Efficient local unfolding with ancestor stacks | Publicación