Lu, M., & Wu, J. (2000). On Theorem proving in Annotated Logics. Journal of Applied Non-Classical Logics, 10(2), 121-143.