@inproceedings{ea470e1e4c0e47a3b9b53e0e9ec2ec8e,
title = "Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses",
author = "Tomi Janhunen and Ilkka Niemel{\"a}",
note = "VK: mcm hiit",
year = "2011",
doi = "10.1007/978-3-642-20832-4_8",
language = "English",
isbn = "978-3-642-20831-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "111--130",
editor = "Marcello Balduccini and Son, {Trao Can}",
booktitle = "The Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary",
address = "Germany",
}