Sezgin, Meliha, and Gabriele Kern-Isberner. “System Z for Conditional Belief Bases With Positive and Negative Information”. The International FLAIRS Conference Proceedings 34 (April 18, 2021). Accessed April 23, 2024. https://ojs.test.flvc.org/FLAIRS/article/view/128398.