Complexity of the Satisfiability Problem for a Class of Propositional Schemata.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Browse the full LATA paper archive.