توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Eiter, T., Gottlob, G., & Gurevich, Y. (1998). Existential Second−Order Logic over Strings.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Eiter, T., G. Gottlob, و Y. Gurevich. Existential Second−Order Logic over Strings. 1998.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Eiter, T., et al. Existential Second−Order Logic over Strings. 1998.

تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.