@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" }