Beierle, Christoph, Jonas Haldimann, and Steven Kutsch. “A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures”. The International FLAIRS Conference Proceedings 34 (April 18, 2021). Accessed April 20, 2024. https://journals.flvc.org/FLAIRS/article/view/128467.