Martin Simons 0001. Darstellung formaler Beweise. In Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, Immo O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr, editors, Ausgezeichnete Informatikdissertationen 1996. pages 150-165, Vieweg+Teubner Verlag, 1996. [doi]
Abstract is missing.