Propositional theories are strongly equivalent to logic programs
- Cabalar, P.
- Ferraris, P.
ISSN: 1471-0684, 1475-3081
Year of publication: 2007
Volume: 7
Issue: 6
Pages: 745-759
Type: Article
Journal:
Theory and Practice of Logic Programming