@misc{indiciaed33c207b014a,
  title = {CERES for First-Order Schemata},
  author = {Cvetan Dunchev and Alexander Leitsch and Mikheil Rukhaia and Daniel Weller},
  year = {2013},
  url = {https://arxiv.org/abs/1303.4257},
  note = {Source identifier: 1303.4257}
}