Meliha Sezgin Gabriele Kern-Isberner System Z for Conditional Belief Bases with Positive and Negative Information. 2021 FLAIRS https://doi.org/10.32473/flairs.v34i1.128398 conf/flairs/2021 db/conf/flairs/flairs2021.html#SezginK21