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 |
|