Media type: Book Title: Using SOS definitions in term rewriting proofs Contributor: Buth, Karl-Heinz [Author] imprint: Kiel: Inst. für Informatik und Praktische Mathematik, 1992 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9214 Extent: 43 S. Language: English Origination: Footnote: