J. A. Robinson. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 (1965), pp. 227–234.

An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.