Automated theorem proving a logical basis
Loveland, Donald W.
Amsterdam Oxford North-Holland Publishing Co.
1978
Bibliography: p.395-399. - Includes index
Automatic theorem proving.