TY - RPRT TI - Regular omega-Languages with an Informative Right Congruence AU - Dana Angluin AU - Dana Fisman PY - 2018 DO - 10.4204/eptcs.277.19 UR - https://arxiv.org/abs/1809.03108 ID - 1809.03108 ER -