Dagstuhl Seminar Proceedings: Deduction and Applications 2005

maintained by Schloss Dagstuhl LZI at University of Trier