TY -
GEN
AU - Artale, Alessandro
AU - Jung, Jean Christoph
AU - Mazzullo, Andrea
AU - Ozaki, Ana
AU - Wolter, Frank
TI -
Living without beth and craig
explicit definitions and interpolants in description logics with nominals (extended abstract)
PY - 2020
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -