Publications by 'Karl Gödel'