@Book{KM64,
    Author       = "Kalish, D. and Montague, R.",
    Year         = "1964",
    Title        = "{Logic: Techniques of Formal Reasoning}",
    Publisher    = "World, Harcourt and Brace",
    Comment      = "TPTPRef"
}