Details:
| Title | Unification in commutative theories | | Author(s) | Franz Baader | | Type | Article in Journal | | ISSN | 0747-7171 |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 8 | | Number | 5 | | Pages | 479-497 | | Publisher | Academic Press, Inc. | | Address | Duluth, MN, USA | | Year | 1989 | | Month | November | | Translation |
No | | Refereed |
No |
|
