@inproceedings{
    GJR14:ecai,
    editor = "Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry",
    author = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi",
    publisher = "IOS Press",
    isbn = "978-1-61499-418-3",
    language = "eng",
    title = "Answer Set Programming as SAT Modulo Acyclicity",
    url = "http://dx.doi.org/10.3233/978-1-61499-419-0-351",
    booktitle = "21st European Conference on Artificial Intelligence",
    address = "Prague, Czech Republic",
    month = "August",
    juforank = "1",
    responsibleauthor = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi",
    flags = "HIIT COIN TRITON copy",
    il = "no",
    eventdetails = "21st European Conference on Artificial Intelligence ECAI 2014, Prague, 18-22 August, 2014",
    year = "2014",
    unitcode = "T3060-99,T312-1",
    kay = "NA",
    impactfactor = "A4",
    pages = "351--356"
}