@article{Cook_2013,
    doi = {10.1007/s10703-013-0186-4},
    url = {https://doi.org/10.1007%2Fs10703-013-0186-4},
    year = {2013},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {43},
    number = {1},
    pages = {93--120},
    author = {Byron Cook and Daniel Kroening and Philipp Rümmer and Christoph M. Wintersteiger},
    title = {Ranking function synthesis for bit-vector relations},
    journal = {Formal Methods in System Design}
}

@article{Cook_2013, doi = {10.1007/s10703-013-0186-4}, url = {https://doi.org/10.1007%2Fs10703-013-0186-4}, year = {2013}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {43}, number = {1}, pages = {93--120}, author = {Byron Cook and Daniel Kroening and Philipp Rümmer and Christoph M. Wintersteiger}, title = {Ranking function synthesis for bit-vector relations}, journal = {Formal Methods in System Design} }