Logic: form and function. The mechanization of deductive reasoning. - Robinson, John Alan (University Press, 1979)