APA citiranje

Kroening, D., Weissenbacher, G., & Namjoshi, K. (2009). An interpolating decision procedure for transitive relations with uninterpreted functions.

Chicago Style (17th ed.) Citation

Kroening, D., G. Weissenbacher, and K. Namjoshi. An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. 2009.

MLA citiranje

Kroening, D., et al. An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. 2009.