@inproceedings{
    GJR14:jelia,
    editor = "Ferm{\'{e}}, Eduardo and Leite, Jo{\~{a}}o",
    author = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi",
    publisher = "Springer",
    isbn = "978-3-319-11557-3",
    language = "eng",
    title = "SAT modulo Graphs: Acyclicity",
    series = "Lecture Notes in Artificial Intelligence",
    country = "Switzerland",
    booktitle = "Logics in Artificial Intelligence",
    month = "September",
    volume = "8761",
    juforank = "1",
    responsibleauthor = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi",
    flags = "HIIT COIN TRITON copy",
    il = "no",
    eventdetails = "European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal",
    year = "2014",
    url = "http://dx.doi.org/10.1007/978-3-319-11558-0_10",
    unitcode = "T3060-99,T312-1",
    kay = "NA",
    impactfactor = "A4",
    pages = "137--151"
}