LCF: A Lexicagraphic Binary representation of the Rationals

Peter Kornerup, David W. Matula. LCF: A Lexicagraphic Binary representation of the Rationals. J. UCS, 1(7):484-503, 1995. [doi]

Abstract

Abstract is missing.