Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system
WEI Haixin1, LI Chenhui2
Computer Engineering and Applications . 2012, (26): 44 -47 .