@inproceedings{
    NJN11:inap,
    editor = {Abreu, Salvador and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Seipel, Dietmar and Tompits, Hans and Umeda, Masanobu and Wolf, Armin},
    author = {Nguyen, Mai and Janhunen, Tomi and Niemel{\"a}, Ilkka},
    volume = "1843-11-06",
    responsibleauthor = "Janhunen, Tomi",
    title = "Translating Answer-Set Programs into Bit-Vector Logic",
    series = "TU Wien, INFSYS Research Report",
    booktitle = "Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management",
    address = "Vienna, Austria",
    corerank = "",
    month = "September",
    note = "To appear in Springer LNCS",
    flags = "MCM HIIT",
    year = "2011",
    unitcode = "T3060=99,T312=1",
    impactfactor = "",
    pages = "105--116"
}