Michael Kaminski Simone Martini Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings 5213 2008 978-3-540-87530-7 CSL Lecture Notes in Computer Science Springer db/conf/csl/csl2008.html