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

Schubert, E. T., Windley, P. J., & Alves-Foss, J. (1995). Higher order logic theorem proving and its applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings. Springer-Verlag.

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

Schubert, E. Thomas, Phillip J. Windley, و James Alves-Foss. Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : Proceedings. Berlin: Springer-Verlag, 1995.

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

Schubert, E. Thomas, et al. Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : Proceedings. Springer-Verlag, 1995.