@inproceedings{
    NJN13:inap-post_ttj_ini,
    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 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",
    owner = "OEK",
    juforank = "1",
    title = "Translating Answer-Set Programs into Bit-Vector Logic",
    booktitle = "Applications of Declarative Programming and Knowledge Management",
    note = "Revised Selected Papers",
    unitcode = "T306-99,T312-1",
    impactfactor = "A4",
    responsibleauthor = {Janhunen, Tomi and Niemel{\"a}, Ilkka},
    timestamp = "20121204",
    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 copy"
}

AUTHORS:

URL:
http://dx.doi.org/10.1007/978-3-642-41524-1_6

AUTHORS:

URL: http://dx.doi.org/10.1007/978-3-642-41524-1_6

URL:
http://dx.doi.org/10.1007/978-3-642-41524-1_6