@inproceedings{
    NJN13:inap-post,
    editor = {Tompits, Hans and Abreu, Salvador and Oetsch, Johannes and P{\"u}hrer, J{\"o}rg and Seipel, Dietmar and Umeda, Masanobu and Wolf, Armin},
    author = {Nguyen, Mai and Janhunen, Tomi and Niemel{\"a}, Ilkka},
    isbn = "978-3-642-41523-4",
    series = "Lecture Notes in Computer Science",
    month = "October",
    il = "no",
    eventdetails = "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Vienna, 28-30 September, 2011",
    year = "2013",
    note = "Revised Selected Papers",
    title = "Translating Answer-Set Programs into Bit-Vector Logic",
    booktitle = "Applications of Declarative Programming and Knowledge Management",
    juforank = "1",
    unitcode = "T3060-99,T312-1",
    impactfactor = "A4",
    responsibleauthor = "Janhunen, Tomi",
    volume = "7773",
    address = "Berlin Heidelberg",
    kay = "NA",
    pages = "95--113",
    publisher = "Springer Verlag",
    language = "eng",
    url = "http://dx.doi.org/10.1007/978-3-642-41524-1_6",
    country = "Germany",
    flags = "HIIT"
}