@misc{indiciae256a49583989, title = {Representing Constraints with Automata}, author = {Frank Morawietz and Tom Cornell}, year = {1997}, url = {https://arxiv.org/abs/cmp-lg/9704006}, note = {Source identifier: cmp-lg/9704006} }