Unification in the Description Logic

Franz Baader, Oliver Fernndez Gil

Browse the full IJCAR paper archive.