Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux. Concept Logics with Function Symbols. In ECAI. pages 406-410, 1994.
@inproceedings{BurckertHL94,
title = {Concept Logics with Function Symbols},
author = {Hans-Jürgen Bürckert and Bernhard Hollunder and Armin Laux},
year = {1994},
tags = {logic},
researchr = {https://researchr.org/publication/BurckertHL94},
cites = {0},
citedby = {0},
pages = {406-410},
booktitle = {ECAI},
}