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)] (Journal of symbolic computation, 2012)