Return to Article Details Decidability and Undecidability Results for Propositional Schemata Download Download PDF