Automated theorem proving : a logical basis - Loveland, Donald W. (Amsterdam : North-Holland Pub., 1978)
Includes index
Keywords: Automatic theorem proving