@inproceedings{
    GebserJR14ecai,
    author = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi",
    publisher = "IOS Press",
    responsibleauthor = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi",
    language = "eng",
    title = "Answer Set Programming as {SAT} modulo Acyclicity",
    booktitle = "Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014)",
    year = "2014",
    isbn = "978-1-61499-418-3",
    juforank = "1",
    flags = "COIN HIIT public TRITON",
    il = "no",
    eventdetails = "European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic",
    pdf = "GebserJR14ecai.pdf",
    unitcode = "T306-99, T312-1",
    kay = "NA",
    impactfactor = "A4",
    pages = "351-356"
}