Forgetting auxiliary atoms in forks

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal. Forgetting auxiliary atoms in forks. Artificial Intelligence, 275:575-601, 2019. [doi]

@article{AguadoCFPPV19,
  title = {Forgetting auxiliary atoms in forks},
  author = {Felicidad Aguado and Pedro Cabalar and Jorge Fandinno and David Pearce 0001 and Gilberto Pérez and Concepción Vidal},
  year = {2019},
  doi = {10.1016/j.artint.2019.07.005},
  url = {https://doi.org/10.1016/j.artint.2019.07.005},
  researchr = {https://researchr.org/publication/AguadoCFPPV19},
  cites = {0},
  citedby = {0},
  journal = {Artificial Intelligence},
  volume = {275},
  pages = {575-601},
}