Yong Sun: Equational Logics. JTASPEFT/WSA 1991: 44-52