Automated reasoning and its applications: essays in honor of Larry Wos by Wos, Larry, Veroff, Robert, Pieper, Gail W. 0 Type: Book
