Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings - Erich Grädel, Reinhard Kahle ((Lecture Notes in Computer Science))