An interview with Simon Hill (Plant Proof)

The ATP Project - An interview with Simon Hill (Plant Proof)