@inproceedings{ecai12,
    Author = {D. Bresolin and Della Monica, D. and A. Montanari
              and P. Sala and G. Sciavicco},
    Title = {{I}nterval {T}emporal {L}ogics over Finite
             Linear Orders: the Complete Picture},
    Booktitle = {Proc. of the 20th European Conference on
                 Artificial Intelligence (ECAI)},
    Year = {2012},
    pages = {199--204},
    doi = {10.3233/978-1-61499-098-7-199},
    isbn      = {978-1-61499-097-0},
    Month = {August},
    Address = {Montpellier, France}
}

{"_id":"nADDopJD6F4aBCNeo","bibbaseid":"bresolin-dellamonica-montanari-sala-sciavicco-intervaltemporallogicsoverfinitelinearordersthecompletepicture-2012","author_short":["Bresolin, D.","Della Monica, D.","Montanari, A.","Sala, P.","Sciavicco, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"propositions":[],"lastnames":["Della","Monica"],"firstnames":["D."],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Montanari"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Sala"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]}],"title":"Interval Temporal Logics over Finite Linear Orders: the Complete Picture","booktitle":"Proc. of the 20th European Conference on Artificial Intelligence (ECAI)","year":"2012","pages":"199–204","doi":"10.3233/978-1-61499-098-7-199","isbn":"978-1-61499-097-0","month":"August","address":"Montpellier, France","bibtex":"@inproceedings{ecai12,\r\n Author = {D. Bresolin and Della Monica, D. and A. Montanari\r\n and P. Sala and G. Sciavicco},\r\n Title = {{I}nterval {T}emporal {L}ogics over Finite\r\n Linear Orders: the Complete Picture},\r\n Booktitle = {Proc. of the 20th European Conference on\r\n Artificial Intelligence (ECAI)},\r\n Year = {2012},\r\n pages = {199--204},\r\n doi = {10.3233/978-1-61499-098-7-199},\r\n isbn = {978-1-61499-097-0},\r\n Month = {August},\r\n Address = {Montpellier, France}\r\n}\r\n\r\n","author_short":["Bresolin, D.","Della Monica, D.","Montanari, A.","Sala, P.","Sciavicco, G."],"key":"ecai12","id":"ecai12","bibbaseid":"bresolin-dellamonica-montanari-sala-sciavicco-intervaltemporallogicsoverfinitelinearordersthecompletepicture-2012","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://users.dimi.uniud.it/~dario.dellamonica/pubs/biblio.bib","dataSources":["S2GkQK7zrj9q2HwGy","XKYzHk9y65Aw5X8qY"],"keywords":[],"search_terms":["interval","temporal","logics","over","finite","linear","orders","complete","picture","bresolin","della monica","montanari","sala","sciavicco"],"title":"Interval Temporal Logics over Finite Linear Orders: the Complete Picture","year":2012}