M. Baaz, A. Leitsch:
"CERES in many-valued logics";
in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 3452)", F. Baader, A. Voronkov (ed.); Springer, 2005, ISBN: 3-540-25236-3, 1 - 20.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05937764