DIMACS Workshop: Descriptive Complexity and Finite Models 1996

maintained by Schloss Dagstuhl LZI at University of Trier