APA Edition Citation

Boyer, R. S. (1991). Automated reasoning: Essays in Honor of Woody Bledsoe.

Chicago Edition Citation

Boyer, Robert S. Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers, Dordrecht, 1991.

MLA Edition Citation

Boyer, Robert S. Automated Reasoning: Essays in Honor of Woody Bledsoe. 1991.

Warning: These citations may not always be 100% accurate.