Beierle, Christoph, Jonas Haldimann, and Steven Kutsch. 2021. “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). https://doi.org/10.32473/flairs.v34i1.128467.