Informal proceesings of the Annual Meeting of "GI-Fachgruppe 'Deduktionssysteme'" in Kaiserslautern, 1993 Juergen Avenhaus, Joerg Denzinger (eds.) Department of Computer Science, University of Kaiserslautern, P.O.Box 3049, 67653 Kaiserslautern, Germany E-mail: avenhaus@informatik.uni-kl.de denzinge@informatik.uni-kl.de Abstract This report contains the short abstracts submitted for the Annual Meeting of ``GI-Fachgruppe `Deduktionssysteme''' in Kaiserslautern, 1993. The talks range from theoretical aspects of rewrite systems to descriptions of practical proof systems in various applications. As usual, a major number of the talks were given by the organizers of the meeting. In this case the meeting was organized by the groups of J. Avenhaus and K. Madlener at the University of Kaiserslautern. Keywords rewrite systems, deduction, GI-Fachgruppe 'Deduktionssysteme' Source anonymous FTP server ftp.uni-kl.de [131.246.94.94] path: /reports_uni-kl/computer_science/SEKI/1993/papers/ file: Avenhaus.SR-93-11.ps.Z