@incollection{Peralta_1998,
    doi = {10.1007/3-540-49727-7_15},
    url = {https://doi.org/10.1007%2F3-540-49727-7_15},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {246--261},
    author = {Julio C. Peralta and John P. Gallagher and Hüseyin Sa{\u{g}}lam},
    title = {Analysis of Imperative Programs through Analysis of Constraint Logic Programs},
    booktitle = {Static Analysis}
}

@incollection{Peralta_1998, doi = {10.1007/3-540-49727-7_15}, url = {https://doi.org/10.1007%2F3-540-49727-7_15}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {246--261}, author = {Julio C. Peralta and John P. Gallagher and Hüseyin Sa{\u{g}}lam}, title = {Analysis of Imperative Programs through Analysis of Constraint Logic Programs}, booktitle = {Static Analysis} }