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