Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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