@Book{Smu87,
    Author       = "Smullyan, R.M.",
    Year         = "1987",
    Title        = "{Forever Undecided - A Puzzle Guide to Godel}",
    Publisher    = "Knopf",
    Comment      = "TPTPRef"
}