@article{AguadoCabalarFandinnoetal.2019,
  author    = {Felicidad Aguado and Pedro Cabalar and Jorge Fandinno and David Pearce and Gilberto Perez and Concepcion Vidal},
  title     = {Forgetting auxiliary atoms in forks},
  journal   = {Artificial intelligence},
  volume    = {275},
  pages     = {575 -- 601},
  doi       = {10.1016/j.artint.2019.07.005},
  year      = {2019},
}