author = { Artale, Alessandro AND Jung, Jean Christoph AND Mazzullo, Andrea AND Ozaki, Ana AND Wolter, Frank },

title = { Living without beth and craig explicit definitions and interpolants in description logics with nominals (extended abstract) },

publisher = {},

year = {2020},

address = { },

url = { http://slubdd.de/katalog?TN_libero_mab2 }