Цитирование 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.

Цитирование MLA (9-е изд.)

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.