@workingPaper{BaaderBürckertHeinsohnHollunderMüllerNebelNuttProfitlich_1990,
title={Terminological knowledge representation : a proposal for a terminological logic},
author={Baader, Franz and Bürckert, Hans-Jürgen and Heinsohn, Jochen and Hollunder, Bernhard and Müller, Jürgen and Nebel, Bernhard and Nutt, Werner and Profitlich, Hans-Jürgen},
doi={http://dx.doi.org/10.22028/D291-25019},
year={1990}
}