_id,doi,title
4530,10.1007/978-3-540-74915-8,CSL: Computer Science Logic