A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses

Reference:

Tomi Janhunen. A counter-based approach to translating normal logic programs into sets of clauses. In Marina de Vos and Alessandro Provetti, editors, Answer Set Programming: Advances in Theory and Implementation, pages 166–180, Messina, Sicily, September 2003. CEUR. http://ceur-ws.org/Vol-78/.

Suggested BibTeX entry:

@inproceedings{Janhunen03:asp,
    address = {Messina, Sicily},
    author = {Tomi Janhunen},
    booktitle = {Answer Set Programming: Advances in Theory and Implementation},
    editor = {Marina de Vos and Alessandro Provetti},
    month = {September},
    note = {http://ceur-ws.org/Vol-78/},
    pages = {166--180},
    publisher = {CEUR},
    title = {A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses},
    year = {2003},
}