TY  - RPRT
TI  - A division Algorithm for the Free Left Distributive Algebra
AU  - Richard Laver
PY  - 1992
UR  - https://arxiv.org/abs/math/9204203
ID  - math/9204203
ER  -