Analysis of the law of non-contradiction using additive generators | IEEE Conference Publication | IEEE Xplore