| |
| 1988 | ||
|---|---|---|
| 1 | Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang: Opening the AC-Unification Race. J. Autom. Reasoning 4(4): 465-474 (1988) | |
| 1 | Hans-Jürgen Bürckert | [1] |
| 2 | Alexander Herold | [1] |
| 3 | Deepak Kapur | [1] |
| 4 | Jörg H. Siekmann | [1] |
| 5 | Mark E. Stickel | [1] |
| 6 | Hantao Zhang | [1] |