Theory of generalized tautology based on subalgebras of Gainse-Rescher system
LI Shunqin, HUI Xiaojing
Computer Engineering and Applications . 2015, (19): 53 -55 .