1. Alchourrón, C.E., Gärdenfors, R. and Makinson, D., On the logic of theory change: partial meet contraction and revision functions, The Journal of Symbolic Logic, Vol.50, No.2, June, 1985.
2. Eiter, T. and Gottlob, G., On the complexity of prepositional knowledge base revision, Artificial Intelligence, Vol. 57, October, 1992.
3. Gallier, J.H., Logic for Computer Science, foundations of automatic theorem proving. John Wiley & Sons, 1987, 147–158, 162–163, 197–217.
4. Garey, M.R. and Johnson, D.S., Computers and Intractability, Freeman and Company, 1979.
5. Li, W., An Open Logic System, Scientia Sinica, Series A, Oct, 1992 in Chinese, March, 1993 in English.