TY  - RPRT
TI  - CERES for First-Order Schemata
AU  - Cvetan Dunchev
AU  - Alexander Leitsch
AU  - Mikheil Rukhaia
AU  - Daniel Weller
PY  - 2013
UR  - https://arxiv.org/abs/1303.4257
ID  - 1303.4257
ER  -