Annotated Logic Reasoning Based On XML. - Fuxi Zhu; Duanzhi Chen; Jia Rao (WEBIST (1), 2006)