Nicolas Zabel: Nouvelles techniques de déduction automatiques en logiques polyvalentes finies et infinies du premier ordre. (New techniques for automated deduction in finite and infinite, first-order many-valued logics). Grenoble Institute of Technology, France 1993