"Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on ..."

Leonid Libkin (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics