DMCA

Forgetting and uniform interpolation in extensions of the description logic

by Boris Konev , Dirk Walther , Frank Wolter
Citations:5 - 0 self