Forgetting auxiliary atoms in forks
- Aguado, F.
- Cabalar, P.
- Fandinno, J.
- Pearce, D.
- Pérez, G.
- Vidal, C.
Journal:
Artificial Intelligence
ISSN: 0004-3702
Year of publication: 2019
Volume: 275
Pages: 575-601
Type: Article