@inproceedings{
    GebserJR04jelia,
    editor = "Ferm{\'e}, E. and Leite, J.",
    author = "Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi",
    publisher = "Springer-Verlag",
    responsibleauthor = "Janhunen, Tomi and Rintanen, Jussi",
    language = "eng",
    title = "{SAT} Modulo Graphs: Acyclicity",
    series = "Lecture Notes in Computer Science",
    booktitle = "Logics in Artificial Intelligence, 14th European Conference, JELIA 2014, September 2014, Proceedings",
    year = "2014",
    isbn = "978-3-319-11557-3",
    flags = "copy COIN HIIT public TRITON",
    volume = "8761",
    juforank = "1",
    il = "no",
    eventdetails = "European Conference on Logics in Artificial Intelligence, Funchal, Madeira",
    pdf = "GebserJR14jelia.pdf",
    unitcode = "T306-99, T312-1",
    kay = "NA",
    impactfactor = "A4",
    pages = "137-151"
}