Resolution [working material for the lectures of J. Alan Robinson, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989] - Robinson, John A. 1930-2016 (1989)