ITL
© 1996-2015







Part II
Propositional Interval Temporal Logic