Gerhard Frey Künstliche Intelligenz und Gödel-Theoreme. 387-396 1989 conf/ogai/1989 ÖGAI db/conf/ogai/ogai1989.html#Frey89