TY - RPRT TI - Iterative division in the Distributive Full Non-associative Lambek Calculus AU - Igor Sedlár PY - 2019 UR - https://arxiv.org/abs/1909.11350 ID - 1909.11350 ER -