TY  - RPRT
TI  - Decidability and Undecidability Results for Propositional Schemata
AU  - Vincent Aravantinos
AU  - Ricardo Caferra
AU  - Nicolas Peltier
PY  - 2014
DO  - 10.1613/jair.3351
UR  - https://arxiv.org/abs/1401.3900
ID  - 1401.3900
ER  -