(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.