Propositional theories are strongly equivalent to logic programs
- Cabalar, P.
- Ferraris, P.
ISSN: 1471-0684, 1475-3081
Año de publicación: 2007
Volumen: 7
Número: 6
Páginas: 745-759
Tipo: Artículo
Revista:
Theory and Practice of Logic Programming