@inproceedings{ayers_1992, 
  title={Efficient Closure Analysis with Reachability}, 
  author={Ayers}, 
  year={1992}
  }