Newtonian Arbiters Cannot be Proven Correct.

Michael Mendler Terry Stroup Newtonian Arbiters Cannot be Proven Correct. 47-66 1992 conf/ifip10-2/1992a Designing Correct Circuits db/conf/ifip10-2/ifip10-2-1992a.html#MendlerS92