Automated deduction for many-valued logics
Handbook of automated reasoning
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
Determination of α-resolution in lattice-valued first-order logic LF(X)
Information Sciences: an International Journal
Hi-index | 0.00 |