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