Four-Valued Reasoning and Cyclic Circuits | IEEE Journals & Magazine | IEEE Xplore