Equational Derivation vs. Computation. - W. G. Handley; Stanley S. Wainer (Ann. Pure Appl. Log., 1994)

Deterministic summation modulo B_n, the Semigroup of Binary Relations on {0, 1, ..., n-1}. - W. G. Handley (Theor. Comput. Sci., 1997)