Christopher J. Van Wyk. Arithmetic Equality Constraints as C++ Statements. Software: Practice and Experience, 22(6):467-494, 1992.
@article{Wyk92, title = {Arithmetic Equality Constraints as C++ Statements}, author = {Christopher J. Van Wyk}, year = {1992}, tags = {constraints, C++}, researchr = {https://researchr.org/publication/Wyk92}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {22}, number = {6}, pages = {467-494}, }