Applying Visible Strong Equivalence in Answer-Set Program Transformations

Reference:

Tomi Janhunen and Ilkka Niemelä. Applying visible strong equivalence in answer-set program transformations. In Esra Erdem, Joohyung Lee, Yuliya Lierler, and David Pearce, editors, Correct Reasoning – Essays on Logic-Based AI in Honour of Vladimir Lifschitz, volume 7265 of Lecture Notes in Computer Science, pages 363–379, Rome, Italy, June 2012. Springer.

Suggested BibTeX entry:

@inproceedings{JN12:vl65,
    address = {Rome, Italy},
    author = {Tomi Janhunen and Ilkka Niemel{\"a}},
    booktitle = {Correct Reasoning -- Essays on Logic-Based AI in Honour of Vladimir Lifschitz},
    editor = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce},
    language = {eng},
    month = {June},
    pages = {363--379},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Applying Visible Strong Equivalence in Answer-Set Program Transformations},
    volume = {7265},
    year = {2012},
}