@workingPaper{BaaderHollunder_1990,
title={KRIS: knowledge representation and inference system ; system description},
author={Baader, Franz and Hollunder, Bernhard},
doi={http://dx.doi.org/10.22028/D291-25037},
year={1990}
}