@inproceedings(DBLP:conf/icalp/BozzelliMMPS17,
 author       = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala},
 year         = {2017},
 title        = {Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption},
 editor       = {Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl},
 booktitle    = {44th International Colloquium on Automata, Languages, and Programming, {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
 series       = {LIPIcs},
 volume       = {80},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {120:1--120:14},
 doi          = {10.4230/LIPIcs.ICALP.2017.120},
)
@article(DBLP:journals/tocl/BozzelliMMPS19,
 author       = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala},
 year         = {2019},
 title        = {Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {20},
 number       = {1},
 pages        = {4:1--4:31},
 doi          = {10.1305/ndjfl/1093635589},
)
@article(DBLP:journals/tcs/BozzelliMMPS19,
 author       = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala},
 year         = {2019},
 title        = {Which fragments of the interval temporal logic {HS} are tractable in model checking?},
 journal      = {Theor. Comput. Sci.},
 volume       = {764},
 pages        = {125--144},
 doi          = {10.1016/j.tcs.2018.04.011},
)
@inproceedings(DBLP:conf/mfcs/BozzelliMPS20,
 author       = {Laura Bozzelli and Angelo Montanari and Adriano Peron and Pietro Sala},
 year         = {2020},
 title        = {On a Temporal Logic of Prefixes and Infixes},
 editor       = {Javier Esparza and Daniel Kr{\'{a}}l'},
 booktitle    = {45th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
 series       = {LIPIcs},
 volume       = {170},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {21:1--21:14},
 doi          = {10.4230/LIPIcs.MFCS.2020.21},
)
@unpublished(BMPS21,
 author       = {Laura Bozzelli and Angelo Montanari and Adriano Peron and Pietro Sala},
 year         = {2021},
 title        = {Pspace-completeness of the temporal logic of sub-intervals and suffixes},
 note         = {To appear in: Carlo Combi, Johan Eder, and Mark Reynolds eds. proceedings of 28th International Symposium on Temporal Representation and Reasoning, {TIME} 2021, September 27-29, 2021, Klagenfurt, Austria, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
)
@article(DBLP:journals/tcs/BresolinMMSS14,
 author       = {Davide Bresolin and Dario Della Monica and Angelo Montanari and Pietro Sala and Guido Sciavicco},
 year         = {2014},
 title        = {Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity},
 journal      = {Theor. Comput. Sci.},
 volume       = {560},
 pages        = {269--291},
 doi          = {10.1016/j.tcs.2014.03.033},
)
@inproceedings(DBLP:conf/tableaux/BresolinMSS11,
 author       = {Davide Bresolin and Angelo Montanari and Pietro Sala and Guido Sciavicco},
 year         = {2011},
 title        = {Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders},
 editor       = {Kai Br{\"{u}}nnler and George Metcalfe},
 booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, {TABLEAUX} 2011, Bern, Switzerland, July 4-8, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6793},
 publisher    = {Springer},
 pages        = {73--87},
 doi          = {10.1007/978-3-642-22119-4\_8},
)
@book(van1997convenience,
 author       = {Peter van Emde Boas},
 year         = {1997},
 title        = {The convenience of tilings},
 publisher    = {CRC Press},
)
@article(DBLP:journals/jancl/GorankoMS04,
 author       = {Valentin Goranko and Angelo Montanari and Guido 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(DBLP:journals/jacm/HalpernS91,
 author       = {Joseph Y. Halpern and Yoav Shoham},
 year         = {1991},
 title        = {A Propositional Modal Logic of Time Intervals},
 journal      = {Journal of {ACM}},
 volume       = {38},
 number       = {4},
 pages        = {935--962},
 doi          = {10.1145/115234.115351},
)
@article(DBLP:journals/fuin/MarcinkowskiM14,
 author       = {Jerzy Marcinkowski and Jakub Michaliszyn},
 year         = {2014},
 title        = {The Undecidability of the Logic of Subintervals},
 journal      = {Fundam. Inform.},
 volume       = {131},
 number       = {2},
 pages        = {217--240},
 doi          = {10.3233/FI-2014-1011},
)
@inproceedings(DBLP:conf/icalp/MarcinkowskiMK10,
 author       = {Jerzy Marcinkowski and Jakub Michaliszyn and Emanuel Kieronski},
 year         = {2010},
 title        = {B and {D} Are Enough to Make the {H}alpern-{S}hoham Logic Undecidable},
 editor       = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis},
 booktitle    = {Automata, Languages and Programming, 37th International Colloquium, {ICALP}, Bordeaux, France, July 6-10, Proceedings, Part {II}},
 series       = {LNCS},
 volume       = {6199},
 publisher    = {Springer},
 pages        = {357--368},
 doi          = {10.1007/978-3-642-14162-1\_30},
)
@article(DBLP:journals/acta/MolinariMMPP16,
 author       = {Alberto Molinari and Angelo Montanari and Aniello Murano and Giuseppe Perelli and Adriano Peron},
 year         = {2016},
 title        = {Checking interval properties of computations},
 journal      = {Acta Inf.},
 volume       = {53},
 number       = {6-8},
 pages        = {587--619},
 doi          = {10.1007/s00236-015-0250-1},
)
@inproceedings(DBLP:conf/time/MontanariS12,
 author       = {Angelo Montanari and Pietro Sala},
 year         = {2012},
 title        = {An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals},
 editor       = {Ben C. Moszkowski and Mark Reynolds and Paolo Terenziani},
 booktitle    = {19th International Symposium on Temporal Representation and Reasoning, {TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
 publisher    = {{IEEE} Computer Society},
 pages        = {39--46},
 doi          = {10.1109/TIME.2012.18},
)
@article(Schmitz:2016,
 author       = {Sylvain Schmitz},
 year         = {2016},
 title        = {Complexity Hierarchies Beyond Elementary},
 journal      = {ACM Transactions on Computation Theory},
 volume       = {8},
 number       = {1},
 pages        = {3:1--3:36},
 doi          = {10.1145/2858784},
)
@phdthesis(stockmeyer1974complexity,
 author       = {Larry Joseph Stockmeyer},
 year         = {1974},
 title        = {The complexity of decision problems in automata theory and logic.},
 school       = {Massachusetts Institute of Technology},
)
@article(10.1093/logcom/1.4.453,
 author       = {Yde 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},
)