The efficiency of theorem proving strategies. a comparative and asymptotic analysis. second edition.

PLAISTED, D.A. and YUNSHAN ZHU.

Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden, 1999

ISBN: 3528155744

21 cm. original paperback. 170 pp. bibliography. index. "Computational Intelligence". -(book shop mark bottom edge, otherwise (very) good).