Removing Redundancy from Answer Set Programs

Reference:

Tomi Janhunen. Removing redundancy from answer set programs. In Enrico Pontelli and Maria Garcia de La Banda, editors, Proceedings of the 24th International Conference on Logic Programming, pages 729–733, Udine, Italy, December 2008. Springer-Verlag. LNCS 5366.

Suggested BibTeX entry:

@inproceedings{Janhunen08:iclp,
    address = {Udine, Italy},
    author = {Tomi Janhunen},
    booktitle = {Proceedings of the 24th International Conference on Logic Programming},
    editor = {Enrico Pontelli and Maria Garcia de La Banda},
    month = {December},
    note = {LNCS 5366},
    pages = {729--733},
    publisher = {Springer-Verlag},
    title = {Removing Redundancy from Answer Set Programs},
    year = {2008},
}