Table of Contents

Automated Theorem Proving: a Quarter Century Review(12-57from Automated Theorem Proving: After 25 Years)