The Description Logic ALCNH

Volker Haarslev, Ralf Mller, Michael Wessel

Browse the full CADE paper archive.