Börger, E., Gurevich, Y., & Kleine-Buning, H. Computer science logic: Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229).
Παραπομπή σε μορφή Chicago (17η εκδ.)Börger, E., Yuri Gurevich, και Hans Kleine-Buning. Computer Science Logic: Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229).
Παραπομπή σε μορφή MLA (8th εκδ.)Börger, E., et al. Computer Science Logic: Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229).
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.