Li-Yan Yuan Jia-Huai You Coherence Approach to Logic Program Revision. 108-119 1998 10 IEEE Trans. Knowl. Data Eng. 1 db/journals/tkde/tkde10.html#YuanY98 db/journals/tkde/YuanY98.html conf/lpnmr/AlferesDP93 conf/ecai/AlferesDP94 conf/kr/Dix92 journals/fuin/Dix95a conf/iclp/Dung91 conf/iclp/Dung93a ... conf/pods/Gelder89 conf/iclp/GelfondL90 conf/iclp/GelfondL88 conf/iclp/HuY91 journals/apal/MillerNPS91 conf/ecai/PereiraA92 conf/lpnmr/PereiraAA91 journals/fuin/Przymusinski90 conf/pods/SaccaZ90 conf/ecai/Wallace90 journals/ai/WitteveenB93 ... journals/jcss/YouY94 journals/jlp/YouY95 journals/tcs/YouCL96 conf/nmelp/YouY94 journals/jar/Yuan94 ... journals/jar/YuanY93