Automated theorem proving : a logical basis - Loveland, Donald W. (rz1, 1978)