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