Towards computing abstract distances in logic programs
- Casso, I.
- Morales, J.F.
- López-García, P.
- Hermenegildo, M.V.
ISSN: 2075-2180
Año de publicación: 2019
Proceedings - 35th International Conference on Logic Programming (Technical Communications), ICLP 2019
Volumen: 306
Tipo: Aportación congreso