@misc{indiciae165af92d99fe,
  title = {Edit and verify},
  author = {Radu Grigore and Michał Moskal},
  year = {2007},
  url = {https://arxiv.org/abs/0708.0713},
  note = {Source identifier: 0708.0713}
}