Decidability and Undecidability Results for Propositional Schemata

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. Decidability and Undecidability Results for Propositional Schemata. J. Artif. Intell. Res. (JAIR), 40:599-656, 2011. [doi]

Abstract

Abstract is missing.