A Flexible, Interactive Theory-Graph Viewer - Müller, Dennis; Kohlhase, Michael; Rupprecht, Marcel (CICM 2017, 2017)