An Alternative to Θ-Subsumption Based on Terminological Reasoning

@techreport{pub6051,
    author = {

Hanschke, Philipp
 and 

Meyer, Manfred
},
    title = {An Alternative to Θ-Subsumption Based on Terminological Reasoning},
    series = {DFKI Research Reports (RR)},
    year = {1992},
    volume = {92-38},
    pages = {9},
    institution = {DFKI}
}