M. Baaz, A. Ciabattoni, C. Fermüller:
"Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics";
in: "Beyond Two: Theory and Applications of Multiple-Valued Logics", M. Fitting, E. Orlowska (ed.); Physica-Verlag, 2003, ISBN: 3-7908-1541-1, 157 - 180.