@workingPaper{Bachmann_1991,
title={HieraCon : a knowledge representation system with typed hierarchies and constraints},
author={Bachmann, Bernd},
doi={http://dx.doi.org/10.22028/D291-25231},
year={1991}
}