@article{ArraysWithoutReset,
  title = "On Model Checking Data-independent Systems with Arrays without Reset",
  author = "A. W. Roscoe and R. S. Lazic and T. C. Newcomb",
  year = "2004",
  journal = "Theory and Practice of Logic Programming",
  number = "5 & 6",
  pages = "659-693",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/85.pdf",
  volume = "4",
}