Accuracy of conversion of proofs using Wilmink's and Goddard's methods

  • J.A.B. Robinson
  • J P Chesnais