Before revision: References K. G"odel .
After revision: References K. Godel .