W. Benda Günter Hornung Peter Raulefs F. Vollmann Der META-Beweiser für die Zahlentheorie. 142-153 1982 conf/ki/1982 GWAI db/conf/ki/gwai1982.html#BendaHRV82