https://9dok.net/document/z1dj6rx3-hybrid-unification-in-the-description-logic-el.html