W. W. Bledsoe 1991

Robert S. Boyer (Ed.): Automated Reasoning: Essays in Honor of Woody Bledsoe. Automated Reasoning Series, Kluwer Academic Publishers, 1991, ISBN 0-7923-1409-3