@workingPaper{Hollunder_1990,
title={Hybrid inferences in KL-ONE-based knowledge representation systems},
author={Hollunder, Bernhard},
doi={http://dx.doi.org/10.22028/D291-24811},
year={1990}
}