Knowledge Processing and Information Systems
Forgetting Auxiliary Atoms in Forks

@inproceedings{DBLP:conf/lpnmr/AguadoCF0PV17,
  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},
  booktitle = {ASPOCP@LPNMR},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  volume = {1868},
  year = {2017}
}