APA(7版)引用形式

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

Chicagoスタイル(17版)引用形式

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

MLA(9版)引用形式

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