S. Hetzl, A. Leitsch, D. Weller:
"Ceres in higher-order logic";
Annals of Pure and Applied Logic, 162 (2011), 12; 1001 - 1034.
http://dx.doi.org/10.1016/j.apal.2011.06.005Electronic version of the publication:
http://www.sciencedirect.com/science/article/pii/S0168007211000807