@Book{CL73,
    Author       = "Chang, C-L. and Lee, R.C-T.",
    Year         = "1973",
    Title        = "{Symbolic Logic and Mechanical Theorem Proving}",
    Publisher    = "Academic Press",
    Comment      = "TPTPRef, general reasoning"
}