Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings - Grädel, Erich; Kahle, Reinhard (Springer Berlin Heidelberg : Imprint: Springer, 2009)