21. WADT 2012: Salamanca, Spain

maintained by Schloss Dagstuhl LZI at University of Trier