The collected works of Larry Wos. Vol. 1, Exploring the power of automated reasonning by Pieper, Gail W., Wos, Larry 0 Type: Book
