@inproceedings{time10,
    Author = {D. Bresolin and Della Monica, D. and A. Montanari
              and P. Sala and G. Sciavicco},
    Booktitle = {Proc. of the 17th International Symposium on
                 Temporal Representation and Reasoning (TIME)},
    Address = {Paris, France},
    Month = {September},
    Year = {2010},
    Editor = {N. Markey and J. Wijsen},
    doi       = {10.1109/TIME.2010.22},
    isbn      = {978-0-7695-4187-7},
    Publisher = {IEEE Computer Society Press},
    Pages = {95--102},
    Title = {{A decidable spatial generalization of Metric
              Interval Temporal Logic}}}

{"_id":"aSsgRNj6rKPQszgwc","bibbaseid":"bresolin-dellamonica-montanari-sala-sciavicco-adecidablespatialgeneralizationofmetricintervaltemporallogic-2010","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":[]}],"booktitle":"Proc. of the 17th International Symposium on Temporal Representation and Reasoning (TIME)","address":"Paris, France","month":"September","year":"2010","editor":[{"firstnames":["N."],"propositions":[],"lastnames":["Markey"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Wijsen"],"suffixes":[]}],"doi":"10.1109/TIME.2010.22","isbn":"978-0-7695-4187-7","publisher":"IEEE Computer Society Press","pages":"95–102","title":"A decidable spatial generalization of Metric Interval Temporal Logic","bibtex":"@inproceedings{time10,\r\n Author = {D. Bresolin and Della Monica, D. and A. Montanari\r\n and P. Sala and G. Sciavicco},\r\n Booktitle = {Proc. of the 17th International Symposium on\r\n Temporal Representation and Reasoning (TIME)},\r\n Address = {Paris, France},\r\n Month = {September},\r\n Year = {2010},\r\n Editor = {N. Markey and J. Wijsen},\r\n doi = {10.1109/TIME.2010.22},\r\n isbn = {978-0-7695-4187-7},\r\n Publisher = {IEEE Computer Society Press},\r\n Pages = {95--102},\r\n Title = {{A decidable spatial generalization of Metric\r\n Interval Temporal Logic}}}\r\n\r\n","author_short":["Bresolin, D.","Della Monica, D.","Montanari, A.","Sala, P.","Sciavicco, G."],"editor_short":["Markey, N.","Wijsen, J."],"key":"time10","id":"time10","bibbaseid":"bresolin-dellamonica-montanari-sala-sciavicco-adecidablespatialgeneralizationofmetricintervaltemporallogic-2010","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://users.dimi.uniud.it/~dario.dellamonica/pubs/biblio.bib","dataSources":["S2GkQK7zrj9q2HwGy","XKYzHk9y65Aw5X8qY"],"keywords":[],"search_terms":["decidable","spatial","generalization","metric","interval","temporal","logic","bresolin","della monica","montanari","sala","sciavicco"],"title":"A decidable spatial generalization of Metric Interval Temporal Logic","year":2010}