Consistency-based abduction with extended disjunctive logic programs - Wang, Kewen; Chen, Huowang; Wu, Quanyuan (Science in China Series E: Technological Sciences, 1997)