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. The International FLAIRS Conference Proceedings, [S. l.], v. 34, 2021. DOI: 10.32473/flairs.v34i1.128467. Disponível em: https://journals.flvc.org/FLAIRS/article/view/128467. Acesso em: 19 apr. 2024.