"A Why-on-Earth Tutorial on Finite Model Theory."

Albert Atserias (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics