@article(All83,
 author       = {J. F. Allen},
 year         = {1983},
 title        = {Maintaining Knowledge about Temporal Intervals},
 journal      = {Communications of the ACM},
 volume       = {26(11)},
 pages        = {832--843},
 doi          = {10.1145/182.358434},
)
@article(tcs15l,
 author       = {L. Bozzelli and H. van Ditmarsch and S. Pinchinat},
 year         = {2015},
 title        = {The Complexity of One-agent Refinement Modal Logic},
 journal      = {Theoretical Computer Science},
 volume       = {603},
 number       = {C},
 pages        = {58--83},
 doi          = {10.1016/j.tcs.2015.07.015},
)
@inproceedings(sefm2017,
 author       = {L. Bozzelli and A. Molinari and A. Montanari and A. Peron},
 year         = {2017},
 title        = {{An in-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions}},
 booktitle    = {SEFM},
 url          = {https://www.dimi.uniud.it/la-ricerca/pubblicazioni/preprints/2.2017/},
)
@techreport(preprintGand,
 author       = {L. Bozzelli and A. Molinari and A. Montanari and A. Peron},
 year         = {2017},
 title        = {{On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions}},
 type         = {Technical Report},
 institution  = {University of Udine, Italy},
 url          = {https://www.dimi.uniud.it/la-ricerca/pubblicazioni/preprints/3.2017/},
)
@inproceedings(bmmps16,
 author       = {L. Bozzelli and A. Molinari and A. Montanari and A. Peron and P. Sala},
 year         = {2016},
 title        = {{Interval Temporal Logic Model Checking: the Border Between Good and Bad HS Fragments}},
 booktitle    = {IJCAR},
 series       = {LNAI 9706},
 pages        = {389--405},
 doi          = {10.1007/978-3-319-40229-1_27},
)
@inproceedings(bmmps16c,
 author       = {L. Bozzelli and A. Molinari and A. Montanari and A. Peron and P. Sala},
 year         = {2016},
 title        = {{Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison}},
 booktitle    = {FSTTCS},
 pages        = {26:1--14},
 doi          = {10.4230/LIPIcs.FSTTCS.2016.26},
)
@inproceedings(bmmps16b,
 author       = {L. Bozzelli and A. Molinari and A. Montanari and A. Peron and P. Sala},
 year         = {2016},
 title        = {{Model Checking the Logic of Allen's Relations Meets and Started-by is $\PTIME^{\NP}$-Complete}},
 booktitle    = {GandALF},
 pages        = {76--90},
 doi          = {10.4204/EPTCS.226.6},
)
@article(DBLP:journals/amai/BresolinMGMS14,
 author       = {D. Bresolin and {Della Monica}, D. and V. Goranko and A. Montanari and G. Sciavicco},
 year         = {2014},
 title        = {The dark side of interval temporal logic: marking the undecidability border},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {71(1-3)},
 pages        = {41--83},
 doi          = {10.1007/s10472-013-9376-4},
)
@article(CKS81,
 author       = {A. K. Chandra and D. C. Kozen and L. J. Stockmeyer},
 year         = {1981},
 title        = {Alternation},
 journal      = {Journal of the ACM},
 volume       = {28(1)},
 pages        = {114--133},
 doi          = {10.1145/322234.322243},
)
@article(emerson1986sometimes,
 author       = {E. A. Emerson and J. Y. Halpern},
 year         = {1986},
 title        = {``{S}ometimes'' and ``not never'' revisited: on branching versus linear time temporal logic},
 journal      = {Journal of the ACM},
 volume       = {33},
 number       = {1},
 pages        = {151--178},
 doi          = {10.1145/4904.4999},
)
@article(FR75,
 author       = {J. Ferrante and C. Rackoff},
 year         = {1975},
 title        = {{A Decision Procedure for the First Order Theory of Real Addition with Order}},
 journal      = {SIAM Journal of Computation},
 volume       = {4},
 number       = {1},
 pages        = {69--76},
 doi          = {10.1137/0204006},
)
@inproceedings(DBLP:conf/ecp/GiunchigliaT99,
 author       = {F. Giunchiglia and P. Traverso},
 year         = {1999},
 title        = {Planning as Model Checking},
 booktitle    = {ECP},
 series       = {LNCS 1809},
 publisher    = {Springer},
 pages        = {1--20},
 doi          = {10.1007/10720246_1},
)
@article(HS91,
 author       = {J. Y. Halpern and Y. Shoham},
 year         = {1991},
 title        = {A Propositional Modal Logic of Time Intervals},
 journal      = {Journal of the ACM},
 volume       = {38(4)},
 pages        = {935--962},
 doi          = {10.1145/115234.115351},
)
@incollection(kleene56representation,
 author       = {S. C. Kleene},
 year         = {1956},
 title        = {Representation of Events in Nerve Nets and Finite Automata},
 booktitle    = {Automata Studies},
 volume       = {34},
 publisher    = {Princeton University Press},
 pages        = {3--41},
)
@inproceedings(LM13,
 author       = {A. Lomuscio and J. Michaliszyn},
 year         = {2013},
 title        = {An Epistemic {H}alpern-{S}hoham Logic},
 booktitle    = {IJCAI},
 pages        = {1010--1016},
 url          = {http://dl.acm.org/citation.cfm?id=2540128.2540274},
)
@inproceedings(LM14,
 author       = {A. Lomuscio and J. Michaliszyn},
 year         = {2014},
 title        = {Decidability of model checking multi-agent systems against a class of {EHS} specifications},
 booktitle    = {{ECAI}},
 pages        = {543--548},
 doi          = {10.3233/978-1-61499-419-0-543},
)
@inproceedings(lm15,
 author       = {A. Lomuscio and J. Michaliszyn},
 year         = {2016},
 title        = {Model Checking Multi-agent Systems Against Epistemic {HS} Specifications with Regular Expressions},
 booktitle    = {KR},
 publisher    = {AAAI Press},
 pages        = {298--307},
)
@inproceedings(DBLP:conf/tacas/LomuscioR06,
 author       = {A. Lomuscio and F. Raimondi},
 year         = {2006},
 title        = {{MCMAS:} {A} Model Checker for Multi-agent Systems},
 booktitle    = {TACAS},
 series       = {LNCS 3920},
 publisher    = {Springer},
 pages        = {450--454},
 doi          = {10.1007/11691372_31},
)
@article(MM14,
 author       = {J. Marcinkowski and J. Michaliszyn},
 year         = {2014},
 title        = {The Undecidability of the Logic of Subintervals},
 journal      = {Fundamenta Informaticae},
 volume       = {131(2)},
 pages        = {217--240},
 doi          = {10.3233/FI-2014-1011},
)
@article(MMMPP15,
 author       = {A. Molinari and A. Montanari and A. Murano and G. Perelli and A. Peron},
 year         = {2016},
 title        = {Checking interval properties of computations},
 journal      = {Acta Informatica},
 doi          = {10.1007/s00236-015-0250-1},
)
@inproceedings(MMP15B,
 author       = {A. Molinari and A. Montanari and A. Peron},
 year         = {2015},
 title        = {{Complexity of ITL model checking: some well-behaved fragments of the interval logic HS}},
 booktitle    = {TIME},
 pages        = {90--100},
 doi          = {10.1109/TIME.2015.12},
)
@inproceedings(MMP15,
 author       = {A. Molinari and A. Montanari and A. Peron},
 year         = {2015},
 title        = {A Model Checking Procedure for Interval Temporal Logics based on Track Representatives},
 booktitle    = {CSL},
 pages        = {193--210},
 doi          = {10.4230/LIPIcs.CSL.2015.193},
)
@inproceedings(MMPS16,
 author       = {A. Molinari and A. Montanari and A. Peron and P. Sala},
 year         = {2016},
 title        = {{Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture}},
 booktitle    = {KR},
 pages        = {473--483},
)
@phdthesis(digitalcircuitsthesis,
 author       = {B. Moszkowski},
 year         = {1983},
 title        = {Reasoning About Digital Circuits},
 school       = {Stanford University},
 address      = {CA},
)
@inproceedings(pnueli1977temporal,
 author       = {A. Pnueli},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {FOCS},
 organization = {IEEE},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@article(DBLP:journals/ai/PrattHartmann05,
 author       = {Pratt{-}Hartmann, I.},
 year         = {2005},
 title        = {Temporal prepositions and their logic},
 journal      = {Artificial Intelligence},
 volume       = {166(1-2)},
 pages        = {1--36},
 doi          = {10.1016/j.artint.2005.04.003},
)
@article(Roe80,
 author       = {P. Roeper},
 year         = {1980},
 title        = {Intervals and Tenses},
 journal      = {J. Philosophical Logic},
 volume       = {9},
 pages        = {451--469},
 doi          = {10.1007/BF00262866},
)
@article(Ven90,
 author       = {Y. Venema},
 year         = {1990},
 title        = {Expressiveness and Completeness of an Interval Tense Logic},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {31(4)},
 pages        = {529--547},
 doi          = {10.1305/ndjfl/1093635589},
)