Beweisvisualisierung und -analyse mit Hypergraphen - Roland Preiss (1998)