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

Siekmann, J. (1986). Automated deduction: Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986. Springer-Verlag.

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

Siekmann, J. Automated Deduction: Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986. Berlin: Springer-Verlag, 1986.

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

Siekmann, J. Automated Deduction: Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986. Springer-Verlag, 1986.