Beierle, C., Haldimann, J., & Kutsch, S. (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. https://doi.org/10.32473/flairs.v34i1.128467