Wu, Jinzhao Programming Logics, MPI for Informatics, Max Planck Society;
Lu, M., & Wu, J. (2000). On Theorem proving in Annotated Logics. Journal of Applied Non-Classical Logics, 10(2), 121-143.