Linear and nonlinear arithmetic in ACL2 (2003)

by Warren A Hunt, Robert Bellarmine Krug, J Moore
Venue:Correct Hardware Design and Verification Methods, Proceedings of CHARME 2003, number 2860 in Lecture Notes in Computer Science