TY - RPRT TI - Residuation in modular lattices and posets AU - Ivan Chajda AU - Helmut Länger PY - 2018 UR - https://arxiv.org/abs/1812.09491 ID - 1812.09491 ER -