Monografia (1984) Automated theorem proving: after 25 years : [proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5–9, 1983]
Geca 3.0 - go to homepage
