@inproceedings{
    NJN11:inap_ini,
    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},
    note = "TU Wien, INFSYS Research Report 1843-11-06",
    corerank = "",
    booktitle = "Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management",
    title = "Translating Answer-Set Programs into Bit-Vector Logic",
    year = "2011",
    month = "September",
    responsibleauthor = "Janhunen, Tomi",
    flags = "copy MCM HIIT",
    address = "Vienna, Austria",
    impactfactor = "",
    pages = "105--116"
}
AUTHORS:
