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

Leivant, D. M. R. (1995). Logic and computational complexity: International workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers. Springer.

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

Leivant, Daniel Maurice Raphael. Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : Selected Papers. Berlin: Springer, 1995.

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

Leivant, Daniel Maurice Raphael. Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : Selected Papers. Springer, 1995.