TY  - RPRT
TI  - The Fundamental Theorems of Interval Analysis
AU  - M. H. van Emden
AU  - B. Moa
PY  - 2009
UR  - https://arxiv.org/abs/cs/0701141
ID  - cs/0701141
ER  -