1. Li W. A logical framework for evolution of specifications. In: programming languages and systems—ESOP’94. LNCS 788, Berlin: Springer-Verlag, 1994. 394–408
2. Li W. R-calculus: an inference system for belief revision. Comput J, 2007, 50: 378–390
3. Li W. Mathematical Logic — Foundations For Information Science. Basel: Birkhäuser Verlag, 2010
4. Gallier J H. Logic for Computer Science: Foundations of Automatic Theorem Proving. New York: Harper & Row, 1986
5. Delgrande J P. Horn Clause Belief Change: Contraction Functions. In: Proc KR 2008. Menlo Park: AAAI Press, 2008. 156–165