Logic, form and function : the mechanization of deductive reasoning - Robinson, John Alan (Elsevier North Holland Biomedical Press, 1979)