Beierle, C.; Haldimann, J.; Kutsch, S. A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. FLAIRS 2021, 34.