@Book{Hac66,
    Author       = "Hackstaff, L.",
    Year         = "1966",
    Title        = "{Systems of Formal Logic}",
    Publisher    = "Reidel Publishing",
    Comment      = "TPTPRef"
}