Vol-845⫷ Vol-846 ⫸Vol-847
urn:nbn:de:0074-846-0


None⫷None⫸None

An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting