TY - RPRT TI - Absoluteness of subword inequality is undecidable AU - Shinnosuke Seki PY - 2011 UR - https://arxiv.org/abs/1108.2758 ID - 1108.2758 ER -