@Book{Smu85,
    Author       = "Smullyan, R.M.",
    Year         = "1978",
    Title        = "{To Mock a Mocking Bird and Other Logic Puzzles}",
    Publisher    = "Knopf",
    Comment      = "TPTPRef"
}