Tie-Cheng Wang W. W. Bledsoe Hierarchical Deduction. 35-77 1987 3 J. Autom. Reasoning 1 db/journals/jar/jar3.html#WangB87