Vol-2960⫷ Vol-2961 ⫸Vol-2962
urn:nbn:de:0074-2961-0


Vol-2961/paper_1⫷Vol-2961/paper_2⫸Vol-2961/paper_3

Counter Model Transformation for Explaining Non-Subsumption in EL