APA ציטוט

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

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