"The finite model theory toolbox of a database theoretician."

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