Unification in Commutative Theories
Aus International Center for Computational Logic
Unification in Commutative Theories
Franz BaaderFranz Baader

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