TY - RPRT TI - No finite axiomatizations for posets embeddable into distributive lattices AU - Rob Egrot PY - 2017 DO - 10.1016/j.apal.2017.11.001 UR - https://arxiv.org/abs/1610.00858 ID - 1610.00858 ER -