Strong Equivalence of Logic Programs with Abstract Constraint Atoms

Reference:

Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, and Jia-Huai You. Strong equivalence of logic programs with abstract constraint atoms. In James Delgrande and Wolfgang Faber, editors, Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 6645 of Lecture Notes in Computer Science, pages 161–173, Vancouver, British Columbia, Canada, May 2011. Springer.

Suggested BibTeX entry:

@inproceedings{LGJNY11:lpnmr,
    address = {Vancouver, British Columbia, Canada},
    author = {Guohua Liu and Randy Goebel and Tomi Janhunen and Ilkka Niemel{\"a} and Jia-Huai You},
    booktitle = {Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {James Delgrande and Wolfgang Faber},
    month = {May},
    pages = {161--173},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Strong Equivalence of Logic Programs with Abstract Constraint Atoms},
    volume = {6645},
    year = {2011},
}