Automated Deduction, Les Arcs, France, July 8-11, 1980 - Conference on Automated Deduction, (5th : 1980 : Les Arcs); Bibel, W., 1938-; Kowalski, Robert (Berlin : Springer-Verlag, 1980)
57