Unification in Commutative Theories

From International Center for Computational Logic

Toggle side column

Unification in Commutative Theories

Franz BaaderFranz Baader
Unification in Commutative Theories


Franz Baader
Unification in Commutative Theories
J. Symbolic Computation, 8:479-497, 1989
@article{ Baader-JSC-89,
  author = {F. {Baader}},
  journal = {J. Symbolic Computation},
  pages = {479--497},
  title = {Unification in Commutative Theories},
  volume = {8},
  year = {1989},
}