No finite axiomatizations for posets embeddable into distributive lattices
scientific article