Concept Logics with Function Symbols.

Hans-Jrgen Brckert, Bernhard Hollunder, Armin Laux

Browse the full ECAI paper archive.