@inbook{50c3b641dfe4433a898713ad32a17b4d,
title = "Applying Visible Strong Equivalence in Answer-Set Program Transformations",
author = "Tomi Janhunen and Ilkka Niemel{\"a}",
note = "VK: coin hiit",
year = "2012",
doi = "10.1007/978-3-642-30743-0_24",
language = "English",
isbn = "978-3-642-30742-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "363--379",
editor = "Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce",
booktitle = "Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz",
address = "Germany",
}