Wu, Jinzhao Programming Logics, MPI for Informatics, Max Planck Society;
Wu, J., Tan, H., & Li, Y. (1998). An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. Journal of Applied Non-Classical Logics, 8(4), 353-360.