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},
}
|