@ARTICLE\{IMM2002-0923, author = "T. Bolander and H. E. Jensen", title = "Om G{\"{o}}dels s{\ae}tning", year = "2002", pages = "15-29", journal = "Normat", volume = "50", editor = "", number = "1", publisher = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/923-full.html" }