1. Li W. A logical framework for evolution of specifications. In: Proceedings of the 5th European Symposium on Programming. 1994, 4: 394–408
2. Li W. Logical verification of scientific discovery. Science China Information Sciences, 2010, 53(4): 677–884
3. Jiang D, Lou Y, Jin Y, Luo J, Li W. A representative model based algorithm for maximal contractions. Science China Information Sciences, 2013, 56(1): 1–13
4. Alchourrón C, Gärdenfors P, Makinson D. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 1985, 50(2): 510–530
5. Katsuno H, Mendelzon A O. A unified view of propositional knowledge base updates. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence. 1989, 1413–1419