%A J.A. Robinson %T Logic: form and function - the mechanization of deductive reasoning %I Edinburgh University Press %D 1979 %P 312