@workingPaper{Hanschke_1992,
title={Terminological reasoning and partial inductive definitions},
author={Hanschke, Philipp},
doi={http://dx.doi.org/10.22028/D291-24852},
year={1992}
}