@inproceedings{705,
  author = {David Toman},
  title = {Constraint Databases and Program Analysis Using Abstract Interpretation},
  year = {1997},
  journal = {Constraint Databases and Program Analysis Using Abstract Interpretation},
  doi = {10.1007/3-540-62501-1_36},
}