Yong Sun Equational Logics. 44-52 1991 JTASPEFT/WSA db/conf/sas/wsa91.html#Sun91