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