The RELVIEW-System.

Rudolf Berghammer, Gunther Schmidt

Browse the full STACS paper archive.