1. Adaricheva, K., Sloan, R.H., & Szörényi, B. (2012). Horn belief contraction: remainders, envelopes and complexity. In Proceedings of the 13th international conference on principles of knowledge representation and reasoning (KR-2012), pp. 107–115.
2. Alchourrón, C.E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. J Symb Log, 50(2), 510–530.
3. Booth, R., Meyer, T., & Varzinczak, I.J. (2009). Next steps in propositional Horn contraction. In Proceedings of the 21st international joint conference on artificial intelligence (IJCAI-2009), pp. 702–707.
4. Booth, R., Meyer, T., Varzinczak, I.J., & Wassermann, R. (2010). Horn belief change: a contraction core. In Proceedings of the 20th european conference on artificial intelligence (ECAI-2011), pp. 1065–1066.
5. Booth, R., Meyer, T., Varzinczak, I.J., & Wassermann, R. (2011). On the link between partial meet, kernel, and infra contraction and its application to Horn logic. J Artif Intell Res, 42, 31–53.