Multiary α-Resolution Principle for a Lattice-Valued Logic | IEEE Journals & Magazine | IEEE Xplore