Kroening, D., Weissenbacher, G., & Namjoshi, K. (2009). An interpolating decision procedure for transitive relations with uninterpreted functions.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Kroening, D., G. Weissenbacher, và K. Namjoshi. An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. 2009.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Kroening, D., et al. An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. 2009.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.