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 March 29, 2024. https://journals.flvc.org/FLAIRS/article/view/128398.