@workingPaper{BürckertHollunderLaux_1993,
title={Concept logics with function symbols},
author={Bürckert, Hans-Jürgen and Hollunder, Bernhard and Laux, Armin},
doi={http://dx.doi.org/10.22028/D291-25001},
year={1993}
}