Automated theorem proving : A LOGICAL BASIS - Loveland, Donald W. (Fundamental Studies in Computer Science / North-Holland Publishing Company ;, 1978)