Exploiting Data Dependencies in Many-Valued Logics.

Reiner Hähnle Exploiting Data Dependencies in Many-Valued Logics. 1996 6 Journal of Applied Non-Classical Logics 1 db/journals/jancl/jancl6.html#Hahnle96