Larry Wos
Visions of Automated Reasoning
Introduction
The Inference Rules
The Applications
The Persona
Conclusion
The End ... Questions?
