Efficiency of Theorem Proving StrategiesDavid A. Plaisted, Yunshan Zhu · First published 1999Open the Tome