Content
Tractable and Intractable Instances of Combination Problems for Unification and Disunification.
Journal of Logic and Computation, volume 10(1), pp. 105-135, 2000.
| Authors/Editors: |
Klaus U. Schulz |
|---|---|
| Publication Date: | 2000 |
| Type of Publication: | Konferenzen/Journale |