1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50(2), 510–530 (1985)
2. Binnewies, S., Zhuang, Z., Wang, K.: Partial meet revision and contraction in logic programs. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI 2015, pp. 1439–1445. AAAI Press, Palo Alto (2015)
3. de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst. 25(1), 81–104 (2010)
4. Colmerauer, A., Roussel, P.: The birth of prolog. In: Bergin Jr., T.J., Gibson Jr., R.G. (eds.) History of Programming Languages–II, pp. 331–367. ACM, New York (1996)
5. Dalal, M.: Investigations into a theory of knowledge base revision: preliminary report. In: Proceedings of the Seventh National Conference on Artificial Intelligence, pp. 475–479 (1988)