APA (7th ed.) Citation

Cook, B., Kroening, D., Rümmer, P., & Wintersteiger, C. (2013). Ranking function synthesis for bit-vector relations. Formal Methods in System Design, 43(1), 93. https://doi.org/10.1007/s10703-013-0186-4

Chicago Style (17th ed.) Citation

Cook, Byron, Daniel Kroening, Philipp Rümmer, and Christoph Wintersteiger. "Ranking Function Synthesis for Bit-vector Relations." Formal Methods in System Design 43, no. 1 (2013): 93. https://doi.org/10.1007/s10703-013-0186-4.

MLA (9th ed.) Citation

Cook, Byron, et al. "Ranking Function Synthesis for Bit-vector Relations." Formal Methods in System Design, vol. 43, no. 1, 2013, p. 93, https://doi.org/10.1007/s10703-013-0186-4.