Combining Induction and Saturation-Based Theorem Proving

Mnacho Echenim, Nicolas Peltier. Combining Induction and Saturation-Based Theorem Proving. Journal of Automated Reasoning, 64(2):253-294, 2020. [doi]

Abstract

Abstract is missing.