TY - RPRT TI - Residuation in finite posets AU - Ivan Chajda AU - Helmut Länger PY - 2019 UR - https://arxiv.org/abs/1910.09009 ID - 1910.09009 ER -