Thierry Boy de la Tour, Ricardo Caferra, Nicola Olivetti, Nicolas Peltier, Camilla Schwind. Automated Deduction. In Pierre Marquis, Odile Papini, Henri Prade, editors, A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms. pages 53-81, Springer, 2020. [doi]
Abstract is missing.