Παραπομπή σε μορφή APA (7η εκδ.)

Comon, H., Ganzinger, H., & Kirchner, C. Theorem proving and logic programming with constrains: Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143).

Παραπομπή σε μορφή Chicago (17η εκδ.)

Comon, H., H. Ganzinger, και C. Kirchner. Theorem Proving and Logic Programming with Constrains: Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143).

Παραπομπή σε μορφή MLA (8th εκδ.)

Comon, H., et al. Theorem Proving and Logic Programming with Constrains: Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143).