TY - RPRT TI - Universality of Confluent, Self-Loop Deterministic Partially Ordered NFAs is Hard AU - Tomáš Masopust AU - Markus Krötzsch PY - 2017 UR - https://arxiv.org/abs/1704.07860 ID - 1704.07860 ER -