Arithmetic Equality Constraints as C++ Statements

Christopher J. Van Wyk. Arithmetic Equality Constraints as C++ Statements. Software: Practice and Experience, 22(6):467-494, 1992.

Abstract

Abstract is missing.