@inproceedings{time11_dark,
    Author = {Bresolin, D. and Della Monica, D. and V. Goranko
              and A. Montanari and G. Sciavicco},
    Booktitle = {Proc. of the 18th International Symposium on
                 Temporal Representation and Reasoning (TIME)},
    Title = {{The dark side of Interval Temporal Logic:
              sharpening the undecidability border}},
    Month = {September},
    doi       = {10.1109/TIME.2011.21},
    isbn      = {978-1-4577-1242-5},
    Year = {2011}
}

{"_id":"YdutGqYdQoGXPG2oy","bibbaseid":"bresolin-dellamonica-goranko-montanari-sciavicco-thedarksideofintervaltemporallogicsharpeningtheundecidabilityborder-2011","author_short":["Bresolin, D.","Della Monica, D.","Goranko, V.","Montanari, A.","Sciavicco, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bresolin"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Della","Monica"],"firstnames":["D."],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Goranko"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Montanari"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]}],"booktitle":"Proc. of the 18th International Symposium on Temporal Representation and Reasoning (TIME)","title":"The dark side of Interval Temporal Logic: sharpening the undecidability border","month":"September","doi":"10.1109/TIME.2011.21","isbn":"978-1-4577-1242-5","year":"2011","bibtex":"@inproceedings{time11_dark,\r\n Author = {Bresolin, D. and Della Monica, D. and V. Goranko\r\n and A. Montanari and G. Sciavicco},\r\n Booktitle = {Proc. of the 18th International Symposium on\r\n Temporal Representation and Reasoning (TIME)},\r\n Title = {{The dark side of Interval Temporal Logic:\r\n sharpening the undecidability border}},\r\n Month = {September},\r\n doi = {10.1109/TIME.2011.21},\r\n isbn = {978-1-4577-1242-5},\r\n Year = {2011}\r\n}\r\n\r\n","author_short":["Bresolin, D.","Della Monica, D.","Goranko, V.","Montanari, A.","Sciavicco, G."],"key":"time11_dark","id":"time11_dark","bibbaseid":"bresolin-dellamonica-goranko-montanari-sciavicco-thedarksideofintervaltemporallogicsharpeningtheundecidabilityborder-2011","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://users.dimi.uniud.it/~dario.dellamonica/pubs/biblio.bib","dataSources":["S2GkQK7zrj9q2HwGy","XKYzHk9y65Aw5X8qY"],"keywords":[],"search_terms":["dark","side","interval","temporal","logic","sharpening","undecidability","border","bresolin","della monica","goranko","montanari","sciavicco"],"title":"The dark side of Interval Temporal Logic: sharpening the undecidability border","year":2011}