Dagstuhl Seminar Proceedings: Deduction and Applications 2005

maintained by Schloss Dagstuhl LZI, founded at University of Trier