APA (7th ed.) Citation

(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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.