Unification in commutative idempotent mo
✍
Franz Baader; Wolfram Büttner
📂
Article
📅
1988
🏛
Elsevier Science
🌐
English
⚖ 891 KB