Theory of generalized tautology in class of subalgebras of Gödel system
WEI Hai-xin
Computer Engineering and Applications . 2010, (29): 56 -57 .  DOI: 10.3778/j.issn.1002-8331.2010.29.016