Machine support of relational computations the Kiel RELVIEW system - Behnke, Ralf; Berghammer, Rudolf 1952-; Schneider, Peter (Institut für Informatik und Praktische Mathematik <Kiel>: Bericht, 1997)