A Superposition Calculus for Abductive Reasoning M. EchenimN. Peltier OriginalPaper 16 September 2015 Pages: 97 - 134
Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers Peter FranekStefan RatschanPiotr Zgliczynski OriginalPaper 01 October 2015 Pages: 157 - 185