A. Leitsch: "CERES in many-valued logics"; Talk: Second Florence-Vienna Workshop on Logic and Computation, Florenz, Italien; 2005-11-02 - 2005-11-05.