DIMACS Workshop: Descriptive Complexity and Finite Models 1996

a service of Schloss Dagstuhl - Leibniz Center for Informatics