S. Binnewies, Z. Zhuang, and K. Wang, “Partial Meet Revision and Contraction in Logic Programs”, AAAI, vol. 29, no. 1, Feb. 2015.