APA (7th ed.) Citation

Bledsoe, W. W., & Boyer, R. S. (1991). Automated reasoning: Essays in honor of Woody Bledsoe. Kluwer Academic Publishers.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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