Beyond Deep Blue: Chess in the Stratosphere

Kasparov versus Deep Blue: Computer Chess Comes of Age

Deep Blue: An Artificial Intelligence Milestone

Automated Theorem Proving: Theory and Practice