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

by L Wos
Venue:Automated reasoning: Essays in honor of Woody Bledsoe