APA (7th ed.) Citation

(1991). Automated reasoning: Essays in honor of Woody Bledsoe. Kluwer Acad.

Chicago Style (17th ed.) Citation

Automated Reasoning: Essays in Honor of Woody Bledsoe. Dordrecht u.a: Kluwer Acad, 1991.

MLA (9th ed.) Citation

Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Acad, 1991.

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