TY  - RPRT
TI  - A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals
AU  - Ben Moszkowski
PY  - 2006
UR  - https://arxiv.org/abs/cs/0601008
ID  - cs/0601008
ER  -