@misc{indiciae72c6f7441dea,
  title = {Decidability and Undecidability Results for Propositional Schemata},
  author = {Vincent Aravantinos and Ricardo Caferra and Nicolas Peltier},
  year = {2014},
  doi = {10.1613/jair.3351},
  url = {https://arxiv.org/abs/1401.3900},
  note = {Source identifier: 1401.3900}
}