@Book{Wos88,
    Author       = "Wos, L.",
    Year         = "1988",
    Title        = "{Automated Reasoning - 33 Basic Research Problems}",
    Publisher    = "Prentice-Hall",
    Comment      = "TPTPRef, general reasoning"
}