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]

Authors

Vincent Aravantinos

This author has not been identified. Look up 'Vincent Aravantinos' in Google

Ricardo Caferra

This author has not been identified. Look up 'Ricardo Caferra' in Google

Nicolas Peltier

This author has not been identified. Look up 'Nicolas Peltier' in Google