Automated reasoning and Bledsoe’s dream for the field (1991)

by L Wos
Venue:in Automated Reasoning: Essays in Honor of Woody