@Book{Smu78,
    Author       = "Smullyan, R.M.",
    Year         = "1978",
    Title        = "{What is the Name of This Book? The Riddle of Dracula and
                    Other Logical Puzzles}",
    Publisher    = "Prentice-Hall",
    Comment      = "TPTPRef"
}