G. R. MacIntyre

• A resolution-based theorem prover