editors) . Automated Theorem Proving: After 25 Years (1984)

by Woodrow Wilson Bledsoe, Donald Loveland
Venue:Volume 29 of Contemporary Mathematics Series