Beierle, C., Haldimann, J. and 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. doi: 10.32473/flairs.v34i1.128467.