ID:DA07213779
Search authors sharing the same name
by Art Quaife
Kluwer Academic c1992 Automated reasoning series v. 2
Available at 14 libraries
