Decidability and Undecidability Results for Propositional Schemata

by Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier