Schematic Refutations of Formula Schemata

David M. Cerna, Alexander Leitsch, Anela Lolic. Schematic Refutations of Formula Schemata. Journal of Automated Reasoning, 65(5):599-645, 2021. [doi]

Abstract

Abstract is missing.