On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry. - Christoph Beierle; Udo Lelitko (KDPD, 2013)