Unification in a Description Logic with Transitive Closure of Roles.

Franz Baader, Ralf Ksters

Browse the full LPAR paper archive.