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 January 28, 2025. https://journals.flvc.org/FLAIRS/article/view/128467.