C. Beierle, 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”, FLAIRS, vol. 34, Apr. 2021.