A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses (2003)
  • BOOKTITLE:
  • Answer Set Programming: Advances in Theory and Implementation
  • PAGES:
  • 166--180
[BibTex]