Vol-744⫷ Vol-745 ⫸Vol-746
urn:nbn:de:0074-745-0


None⫷None⫸None
Rafael PeñalozaFranz Baader

GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable