@article(allen83,
 author       = "J.~F. Allen",
 year         = "1983",
 title        = "Maintaining Knowledge about Temporal Intervals",
 journal      = "Communications of the ACM",
 volume       = "26",
 number       = "11",
 pages        = "832--843",
 doi          = "10.1145/182.358434",
)
@book(modal-logic,
 author       = "P.~Blackburn and M.~de~Rijke and Y.~Venema",
 year         = "2002",
 title        = "Modal Logic",
 publisher    = "Cambridge University Press",
)
@inproceedings(DBLP:conf/stacs/BouyerMOSW08,
 author       = "P.~Bouyer and N.~Markey and J.~Ouaknine and P.~Schnoebelen and J.~Worrell",
 year         = "2008",
 title        = "On Termination for Faulty Channel Machines",
 booktitle    = "Proc. of the 29th STACS",
 pages        = "121--132",
 doi          = "10.4230/LIPIcs.STACS.2008.1339",
)
@inproceedings(lpar08,
 author       = "D.~Bresolin and D.~Della~Monica and V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2008",
 title        = "Decidable and Undecidable Fragments of {H}alpern and {S}hoham's Interval Temporal Logic: Towards a Complete Classification",
 booktitle    = "Proc. of the 15th LPAR",
 series       = "LNCS",
 volume       = "5330",
 publisher    = "Springer",
 pages        = "590--604",
 doi          = "10.1007/978-3-540-89439-1_41",
)
@article(Bresolin08b,
 author       = "D.~Bresolin and V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2009",
 title        = "Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "161",
 number       = "3",
 pages        = "289--304",
 doi          = "10.1016/j.apal.2009.07.003",
)
@inproceedings(DBLP:conf/time/BresolinMGMS11,
 author       = "D.~Bresolin and D.~Della Monica and V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2011",
 title        = "The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border",
 booktitle    = "Proc. of the 18th TIME",
 pages        = "131--138",
 doi          = "10.1109/TIME.2011.21",
)
@inproceedings(ecai2012,
 author       = "D.~Bresolin and D.~Della Monica and A.~Montanari and P.~Sala and G.~Sciavicco",
 year         = "2012",
 title        = "Interval Temporal Logics over Finite Linear Orders: The Complete Picture",
 booktitle    = "Proc. of the 20th ECAI",
)
@inproceedings(DBLP:conf/tableaux/BresolinMSS11,
 author       = "D.~Bresolin and A.~Montanari and P.~Sala and G.~Sciavicco",
 year         = "2011",
 title        = "Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders",
 booktitle    = "Proc. of the 20th TABLEAUX",
 series       = "LNCS",
 volume       = "6793",
 publisher    = "Springer",
 pages        = "73--87",
 doi          = "10.1007/978-3-642-22119-4_8",
)
@article(bresolin07b,
 author       = "D.~Bresolin and A.~Montanari and G.~Sciavicco",
 year         = "2007",
 title        = "An optimal decision procedure for {R}ight {P}ropositional {N}eighborhood {L}ogic",
 journal      = "Journal of Automated Reasoning",
 volume       = "38",
 number       = "1-3",
 pages        = "173--199",
 doi          = "10.1007/s10817-006-9051-0",
)
@article(ijfcs2012,
 author       = "D.~Bresolin and P.~Sala and G.~Sciavicco",
 year         = "2012",
 title        = "On Begins, Meets, and Before",
 journal      = "International Journal on Foundations of Computer Science",
 volume       = "23",
 number       = "3",
 pages        = "559--583",
 doi          = "10.1142/S012905411240028X",
)
@inproceedings(DBLP:conf/ijcai/MonicaGMS11,
 author       = "D.~Della~Monica and V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2011",
 title        = "Expressiveness of the Interval Logics of Allens Relations on the Class of All Linear Orders: Complete Classification",
 booktitle    = "Proc. of the 20th IJCAI",
 pages        = "845--850",
)
@inproceedings(Demri:2006:LFQ:1157735.1158038,
 author       = "S.~Demri and R.~Lazic",
 year         = "2006",
 title        = "LTL with the Freeze Quantifier and Register Automata",
 booktitle    = "Proc. of the 21st LICS",
 publisher    = "IEEE Computer Society",
 pages        = "17--26",
 doi          = "10.1109/LICS.2006.31",
)
@article(Goranko03a,
 author       = "V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2003",
 title        = "Propositional interval neighborhood temporal logics",
 journal      = "Journal of Universal Computer Science",
 volume       = "9",
 number       = "9",
 pages        = "1137--1167",
 doi          = "10.3217/jucs-009-09-1137",
)
@article(Goranko04,
 author       = "V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2004",
 title        = "A road map of interval temporal logics and duration calculi",
 journal      = "Journal of Applied Non-Classical Logics",
 volume       = "14",
 number       = "1--2",
 pages        = "9--54",
 doi          = "10.3166/jancl.14.9-54",
)
@article(HalpernS91,
 author       = "J.~Halpern and Y.~Shoham",
 year         = "1991",
 title        = "A propositional modal logic of time intervals",
 journal      = "Journal of the ACM",
 volume       = "38",
 number       = "4",
 pages        = "935--962",
 doi          = "10.1145/115234.115351",
)
@inproceedings(DBLP:conf/lics/MarcinkowskiM11,
 author       = "J.~Marcinkowski and J.~Michaliszyn",
 year         = "2011",
 title        = "The Ultimate Undecidability Result for the Halpern-Shoham Logic",
 booktitle    = "Proc. of the 26th LICS",
 publisher    = "IEEE Computer Society",
 pages        = "377--386",
 doi          = "10.1109/LICS.2011.21",
)
@article(lossy,
 author       = "R.~Mayr",
 year         = "2003",
 title        = "Undecidable problems in unreliable computations",
 journal      = "Theoretical Computer Science",
 volume       = "297",
 number       = "1--3",
 pages        = "337--354",
 doi          = "10.1016/S0304-3975(02)00646-1",
)
@inproceedings(DBLP:conf/icalp/MontanariPS10,
 author       = "A.~Montanari and G.~Puppis and P.~Sala",
 year         = "2010",
 title        = "Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals",
 booktitle    = "Proc. of the 37th ICALP",
 series       = "LNCS",
 volume       = "6199",
 publisher    = "Springer",
 pages        = "345--356",
 doi          = "10.1007/978-3-642-14162-1_29",
)
@inproceedings(DBLP:conf/stacs/MontanariSS10,
 author       = "A.~Montanari and G.~Puppis and P.~Sala and G.~Sciavicco",
 year         = "2010",
 title        = "Decidability of the Interval Temporal Logic $AB\overline {B}$ over the Natural Numbers",
 booktitle    = "Proc. of the 31st STACS",
 pages        = "597--608",
 doi          = "10.4230/LIPIcs.STACS.2010.2488",
)
@phdthesis(sala,
 author       = "P.~Sala",
 year         = "2010",
 title        = "Decidability of Interval Temporal Logics",
 school       = "University of Udine",
)
@inproceedings(convenience_of_tilings,
 author       = "P.~{Van Emde Boas}",
 year         = "1997",
 title        = "The Convenience of Tilings",
 booktitle    = "Complexity, Logic and Recursion Theory",
 series       = "Lecture Notes in Pure and Applied Mathematics",
 volume       = "187",
 publisher    = "Marcel Dekker Inc.",
 pages        = "331--363",
)
@article(JLOGC::Venema1991,
 author       = "Y.~Venema",
 year         = "1991",
 title        = "A modal logic for chopping intervals",
 journal      = "Journal of Logic and Computation",
 volume       = "1",
 number       = "4",
 pages        = "453--476",
 doi          = "10.1093/logcom/1.4.453",
)