@inproceedings{
    JN11:scmcs,
    editor = "Balduccini, Marcello and Son, Trao Can",
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    responsibleauthor = "Janhunen, Tomi",
    title = "Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary",
    address = "Lexington, Kentucky",
    corerank = "",
    month = "April",
    volume = "6565",
    flags = "MCM HIIT",
    year = "2011",
    unitcode = "T3060=99,T312=1",
    impactfactor = "A4",
    pages = "111--130"
}