Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310) - Bibel, Wolfgang; Stickel, Mark