An Average Case Analysis of Monien and Speckenmeyer's Mechanical Theorem Proving Algorithm. - T. H. Hu; Chuan Yi Tang; Richard C. T. Lee (ISA, 1991)

An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving. - T. H. Hu; Chuan Yi Tang; Richard C. T. Lee (Ann. Math. Artif. Intell., 1992)