Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings

From MaRDI portal