Media type: Text; Report; E-Article; E-Book Title: Deduction (Dagstuhl Seminar 9512) Contributor: Bibel, Wolfgang [Author]; Furukawa, Koichi [Author]; Stickel, Mark [Author] Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1995 Language: English DOI: https://doi.org/10.4230/DagSemRep.110 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access