
## References

Cormen, T.H., Leiserson, C.E., and Rivest. R.L. (1990). Introduction to Algorithms. Cambridge, MA: MIT Press Davis, E. (1990). Order of Magnitude Reasoning in Qualitative Differential Equations. In D. Weld and J. de Kleer (Eds.) Readings in Qualitative Reasoning about Physical Systems.

San Mateo, CA: Morgan Kaufmann. 422-434.

Keisler, J. (1976). Foundations of Infinitesimal Calculus. Boston, MA: Prindle, Webber, and Schmidt. Mavrovouniotis, M. and Stephanopoulos, G. (1990). "Formal Order-of-Magnitude Reasoning in Process Engineering."  In D. Weld and J. de Kleer (Eds.)  Readings in Qualitative Reasoning a bout Physical Systems. San Mateo, CA: Morgan Kaufmann. 323-336.

Raiman, O. (1990). "Order of Magnitude Reasoning."  In D. Weld and J. de Kleer (Eds.)
Readings in Qualitative Reasoning about Physical Systems. San Mateo, CA: Morgan Kaufmann. 318-322.

Robinson, A. (1965). Non-Standard Analysis. Amsterdam: North-Holland Publishing Co.

Weld, D. (1990).  "Exaggeration."  In D. Weld and J. de Kleer (Eds.)  Readings in Qualitative Reasoning a bout Physical Systems. San Mateo, CA: Morgan Kaufmann. 417-421.