Larry Wos. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.

Journal of Symbolic Logic · 1988 · 187 citations · 0 references