@Book{WO+92,
    Author       = "Wos, L. and Overbeek, R. and Lusk E.L. and Boyle, J.",
    Year         = "1992",
    Title        = "{Automated Reasoning: Introduction and Applications}",
    Edition      = "2nd",
    Publisher    = "McGraw-Hill",
    Comment      = "TPTPRef"
}