_id,doi,title
4408,10.1007/BFb0055625,Axioms for real-time logics