+
+@article{heckmann1998bigintegers,
+ author = "Reinhold Heckmann",
+ title = "Big Integers and Complexity Issues in Exact Real Arithmetic",
+ journal = "Electronic Notes in Theoretical Computer Science",
+ Volume = 13,
+ year = 1998,
+ pages = 69,
+ doi = "10.1016/S1571-0661(05)80215-4"
+}