@workingPaper{HanschkeFrühwirth_1993,
title={Terminological reasoning with constraint handling rules},
author={Hanschke, Philipp and Frühwirth, Thom},
doi={http://dx.doi.org/10.22028/D291-25344},
year={1993}
}