@entry{gul-nec-03-aa,
  author = {S Gulwani and GC Necula},
  title = {Discovering affine equalities using random interpretation},
  journal = {Proceedings of the 30th ACM SIGPLAN ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2003,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/604131.604138?casa_token=5L3YOxBGmEoAAAAA:2QwH51qIxgozzvcgYtNFylkivIYgjsJoyVRG-jyOxj7Mm3JJfMZv6okGtz2mUhIS8TFUnTXxt4g}}},
  quotes = {... The language of expressions that we have considered so far allows only for affine arithmetic expressions. In this section we speculate about the uses of randomized algorithms for ...}
}