TY - RPRT TI - Axiomatisability problems for S-posets AU - Victoria Gould AU - Lubna Shaheen PY - 2009 UR - https://arxiv.org/abs/0912.4666 ID - 0912.4666 ER -