Brillout, A., Kroening, D., Rümmer, P., Wahl, T., & Jhala, R. (2011). Beyond quantifier-free interpolation in extensions of presburger arithmetic. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रBrillout, A., D. Kroening, P. Rümmer, T. Wahl, और R. Jhala. Beyond Quantifier-free Interpolation in Extensions of Presburger Arithmetic. Springer, 2011.
एमएलए (9वां संस्करण) प्रशस्ति पत्रBrillout, A., et al. Beyond Quantifier-free Interpolation in Extensions of Presburger Arithmetic. Springer, 2011.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.