Media type: Book Title: A user's guide for the reduction system pi-RED Contributor: Kluge, Werner [Author] imprint: Kiel: Inst. für Informatik und Praktische Mathematik, 1994 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9419 Extent: 114 S. Language: English Keywords: Reduktionssystem Origination: Footnote: