@techreport{DalitzGroetschelLueggeretal.1994, author = {Wolfgang Dalitz and Martin Gr{\"o}tschel and Joachim L{\"u}gger and Wolfram Sperber}, title = {New Perspectives of a Distributed Information System for Mathematics.}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {TR-94-08}, language = {eng}, year = {1994} }