TY - RPRT TI - Representing Constraints with Automata AU - Frank Morawietz AU - Tom Cornell PY - 1997 UR - https://arxiv.org/abs/cmp-lg/9704006 ID - cmp-lg/9704006 ER -