Vol-2372⫷ Vol-2373 ⫸Vol-2374
urn:nbn:de:0074-2373-0


Vol-2373/paper-16⫷Vol-2373/paper-17⫸Vol-2373/paper-18
Jean Christoph JungCarsten LutzThomas Zeume

Decidability and Complexity of ALCOIF with Transitive Closure (and More)