@Article{WB87, Author = "Wang, T-C. and Bledsoe, W.W.", Year = "1987", Title = "{Hierarchical Deduction}", Journal = "Journal of Automated Reasoning", Volume = "3", Number = "1", Pages = "35-77", Comment = "TPTPRef, general reasoning/semantics" }