1. Maintaining knowledge about temporal intervals;Allen;Commun. ACM,1983
2. Principles of Model Checking;Baier,2008
3. An in-depth investigation of interval temporal logic model checking with regular expressions;Bozzelli,2017
4. On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions;Bozzelli,2017
5. On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions;Bozzelli,2017