@article{DBLP:journals/ai/AguadoCFPPV19, author = {Aguado, Felicidad and Cabalar, Pedro and Fandinno, Jorge and Pearce, David and P{\'{e}}rez, Gilberto and Vidal, Concepci{\'{o}}n}, title = {Forgetting auxiliary atoms in forks}, journal = {Artif. Intell.}, volume = {275}, pages = {575--601}, year = {2019} }