(1)
Binnewies, S.; Zhuang, Z.; Wang, K. Partial Meet Revision and Contraction in Logic Programs. AAAI 2015, 29.