APA-Zitierstil (7. Ausg.)

(2012). Special issue on first-order theorem proving: [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)]. Elsevier.

Chicago-Zitierstil (17. Ausg.)

Special Issue on First-order Theorem Proving: [issue ... Initiated After the 7th International Workshop on First-Order Theorem Proving (FTP 2009) Took Place ... Held in July 2009, in Oslo, Norway ... Co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)]. Amsterdam [u.a.]: Elsevier, 2012.

MLA-Zitierstil (9. Ausg.)

Special Issue on First-order Theorem Proving: [issue ... Initiated After the 7th International Workshop on First-Order Theorem Proving (FTP 2009) Took Place ... Held in July 2009, in Oslo, Norway ... Co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)]. Elsevier, 2012.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.