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


None⫷None⫸None
Kejia WuVolker Haarslev

A Parallel Reasoner for the Description Logic ALC