1. Li W. A logical framework for evolution of specifications. In: Proceedings of the 5th European Symposium on Programming. Edinburgh: Springer-Verlag Press, 1994. 394–408
2. Li W. Logical verification of scientific discovery. Sci China Inf Sci, 2010, 53: 677–684
3. Alchourron C, Gardenfors P, Makinson D. On The logic of theory change: partial meet contraction and revision functions. J Symbol Logic, 1985, 50: 510–530
4. Katsuno H, Mendelzon A O. A unified view of propositional knowledge base updates. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, Detroit, 1989. 1413–1419
5. Dalal M. Investigations into a theory of knowledge base revision: Preliminary report. In: Proceedings of the Seventh National Conference on Artificial Intelligence. Cambridge: AAAI Press, 1988. 475–479