_id,doi,title
4597,10.1109/LICS.1990.113764,Real-time logics: Complexity and expressiveness