First order logic and automated theorem proving - Fitting, Melvin (Springer, 1996)
WST: First-order logic and automated theorem proving. - Literaturverz. S. 315 - 318