Zlatareva, Neli P Zlatareva, Neli P has 1 paper(s) in the AIS Basket corpus on Otero. Verification of non-monotonic knowledge bases — Decision Support Systems, 1997