A Biographical Sketch of W. W. Bledsoe. - Anne Olivia Boyer; Robert S. Boyer (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)