Automated reasoning: Essays in Honor of Woody Bledsoe - Boyer, Robert S (Kluwer Academic Publishers, Dordrecht, 1991)
Keywords: Computer science