@article{Reps_1998,
    doi = {10.1016/s0950-5849(98)00093-7},
    url = {https://doi.org/10.1016%2Fs0950-5849%2898%2900093-7},
    year = {1998},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {40},
    number = {11-12},
    pages = {701--726},
    author = {Thomas Reps},
    title = {Program analysis via graph reachability},
    journal = {Information and Software Technology}
}

@article{Reps_1998, doi = {10.1016/s0950-5849(98)00093-7}, url = {https://doi.org/10.1016%2Fs0950-5849%2898%2900093-7}, year = {1998}, month = {dec}, publisher = {Elsevier {BV}}, volume = {40}, number = {11-12}, pages = {701--726}, author = {Thomas Reps}, title = {Program analysis via graph reachability}, journal = {Information and Software Technology} }