The automation of proof : a historical and sociological exploration /
MacKenzie, Donald A.
Edinburgh PICT.
Edinburgh : Research Centre for Social Sciences, University of Edinburgh,
1994.
Automatic theorum proving.