Der META-Beweiser für die Zahlentheorie. - W. Benda; Günter Hornung; Peter Raulefs; F. Vollmann (GWAI, 1982)