Wu, M.; Zhang, D.; Zhang, M. Language Splitting and Relevance-Based Belief Change in Horn Logic. AAAI 2011, 25, 268-273.