Morawska B. Unification in the description logic EL (0)

by F Baader
Venue:Logical Methods in Computer Science 6