APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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