@inproceedings {1395,
	title = {A Software Library for Reliable Online-Arithmetic with Rational Numbers},
	booktitle = {Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures},
	year = {2008},
	publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI)},
	organization = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI)},
	address = {Dagstuhl, Germany},
	isbn = {1862-4405},
	author = {G. de-Miguel-Casado and J.M. Garc{\'\i}a-Chamizo}
}

