@misc{indiciaeefdcdac0955c,
  title = {Toward an automaton Constraint for Local Search},
  author = {Jun He and Pierre Flener and Justin Pearson},
  year = {2009},
  doi = {10.4204/eptcs.5.2},
  url = {https://arxiv.org/abs/0910.1266},
  note = {Source identifier: 0910.1266}
}