_id,doi,title
4589,10.1006/inco.1993.1025,Real-time logics: Complexity and expressiveness
4090,10.1016/0890-5401(88)90049-1,Minimum polygonal separation