Concept Logics with Function Symbols

@inproceedings{pub2350,
    author = {

Bürckert, Hans-Jürgen
 and 

Hollunder, Bernhard
 and 

Laux, Armin
},
    editor = {

Cohn, Anthony G.
},
    title = {Concept Logics with Function Symbols},
    booktitle = {Proceedings of the 11th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-94), 11th, August 8-12, Amsterdam, Netherlands},
    year = {1994},
    pages = {406--410},
    publisher = {J. Wiley}
}