Automated reasoning: Essays in Honor of Woody Bledsoe - Boyer, Robert S (1991)