Compact Numeral Representation with Combinators. - E. V. Krishnamurthy; B. P. Vickers (J. Symb. Log., 1987)