A logic of limited belief for reasoning with disjunctive information. (2004)

by Y Liu, G Lakemeyer, H J Levesque
Venue:In Proc. KR-04,