Home
DCC eCatalog
F.__Baader
Description logics with aggregates and concrete domains
