DOI,IST REx ID,Title of publication
10.1007/BFb0055625,4408,Axioms for real-time logics