@workingPaper{HanschkeMeyer_1992,
title={An alternative to theta-subsumption based on terminological reasoning},
author={Hanschke, Philipp and Meyer, Manfred},
doi={http://dx.doi.org/10.22028/D291-24987},
year={1992}
}