@article{Lopes_2015,
    doi = {10.1007/s10009-015-0366-1},
    url = {https://doi.org/10.1007%2Fs10009-015-0366-1},
    year = {2015},
    month = {feb},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {18},
    number = {4},
    pages = {359--374},
    author = {Nuno P. Lopes and Jos{\'{e}} Monteiro},
    title = {Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Lopes_2015, doi = {10.1007/s10009-015-0366-1}, url = {https://doi.org/10.1007%2Fs10009-015-0366-1}, year = {2015}, month = {feb}, publisher = {Springer Science and Business Media {LLC}}, volume = {18}, number = {4}, pages = {359--374}, author = {Nuno P. Lopes and Jos{\'{e}} Monteiro}, title = {Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic}, journal = {International Journal on Software Tools for Technology Transfer} }