Automated Theorem Proving: After 25 Years

Paperback