Propositional theories are strongly equivalent to logic programs
- Cabalar, P.
- Ferraris, P.
ISSN: 1471-0684, 1475-3081
Ano de publicación: 2007
Volume: 7
Número: 6
Páxinas: 745-759
Tipo: Artigo
ISSN: 1471-0684, 1475-3081
Ano de publicación: 2007
Volume: 7
Número: 6
Páxinas: 745-759
Tipo: Artigo