Frank Morawietz Tom Cornell Representing Constraints with Automata http://arxiv.org/abs/cmp-lg/9704006 1997 CoRR cmp-lg/9704006 db/journals/corr/corr9704.html#cmp-lg-9704006