Automated theorem proving - Loveland,lonald W (amsterdam North-Holand, 1978)
Keywords: AUTOMATIC THEOREM PROVING