Knowledge Processing and Information Systems
Forgetting auxiliary atoms in forks

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