DOI,IST REx ID,Title of publication
10.1016/S0304-3975(00)00308-X,4407,Axioms for real-time logics