Dagstuhl Seminar Proceedings: Deduction and Applications 2005