Forgetting auxiliary atoms in forks

  1. Aguado, F.
  2. Cabalar, P.
  3. Fandinno, J.
  4. Pearce, D.
  5. Perez, G.
  6. Vidal, C.
Actas:
CEUR Workshop Proceedings

ISSN: 1613-0073

Año de publicación: 2017

Volumen: 1868

Tipo: Aportación congreso