Forgetting auxiliary atoms in forks | Publicación