Automation of reasoning. Vol. 2. Classical papers on computational logic. 1967 - 1970 - Wos, L. (Symbolic computation, 1983)