Kroening, D., Weissenbacher, G., & Namjoshi, K. (2009). An interpolating decision procedure for transitive relations with uninterpreted functions.
Chicago-referens (17:e uppl.)Kroening, D., G. Weissenbacher, och K. Namjoshi. An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. 2009.
MLA-referens (9:e uppl.)Kroening, D., et al. An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. 2009.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.