@misc{indiciae00223de6b61a,
  title = {Graph Based Reduction of Program Verification Conditions},
  author = {Jean-François Couchot and Alain Giorgetti and Nicolas Stouls},
  year = {2009},
  url = {https://arxiv.org/abs/0907.1357},
  note = {Source identifier: 0907.1357}
}