Newtonian arbiters cannot be proven correct (1992)

by Michael Mendler, Terry Stroup
Venue:In Proceedings of the 1992 Workshop on Designing Correct Circuits