A. Leitsch, T. Dunchev, D. Weller, M. Rukhaia: "Ceres for First-Order Schemata"; CoRR - Computing Research Repository, arXiv:1303.4257 (2013), 1 - 40.
http://arxiv.org/abs/1303.4257