Deduction in many-valued logics: a survey. Reiner Hähnle, Gonzalo Escalada-Imaz (1997) Mathware and Soft Computing
Deux méthodes et quatre programmes automatiques de calcul de la fiabilité des circuits Eugen Diatcu, Dan N. Dobrescu (1970) ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique