(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.).
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)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.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)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.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.