A. Dawar, H. Veith:
"Selected Papers of the Conference "Computer Science Logic CSL 2010": Preface";
Logical Methods in Computer Science, (2012).
http://dx.doi.org/10.2168/LMCS-CSL:2010Elektronische Version der Publikation:
http://www.lmcs-online.org/ojs/include/getdoc.php?id=3759&LMCSdoc=1&mode=pdf