Marc Bezem Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik LIPIcs 12 2011 978-3-939897-32-3 CSL db/conf/csl/csl2011.html http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007