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