@Book{Smu68,
    Author       = "Smullyan, R.M.",
    Year         = "1968",
    Title        = "{First-Order Logic}",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}