Forgetting auxiliary atoms in forks
- Aguado, F.
- Cabalar, P.
- Fandinno, J.
- Pearce, D.
- Perez, G.
- Vidal, C.
Proceedings:
CEUR Workshop Proceedings
ISSN: 1613-0073
Year of publication: 2017
Volume: 1868
Type: Conference paper