An infinitary encoding of temporal equilibrium logic
- Cabalar, P.
- Diéguez, M.
- Vidal, C.
ISSN: 1475-3081, 1471-0684
Año de publicación: 2015
Volumen: 15
Número: 4-5
Páginas: 666-680
Tipo: Artículo
Revista:
Theory and Practice of Logic Programming
