(1996). Computer science logic: 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : Selected Papers / Hans Kleine Büning, (ed.). 1996.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : Selected Papers / Hans Kleine Büning, (ed.). 1996.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.