TY  - RPRT
TI  - Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors
AU  - Dana Angluin
AU  - Dana Fisman
PY  - 2020
UR  - https://arxiv.org/abs/2002.03191
ID  - 2002.03191
ER  -