Verification of non-monotonic knowledge bases Authors: Zlatareva, Neli P Journal: Decision Support Systems (1997) DOI: 10.1016/s0167-9236(97)00044-4 View in Otero