1. F. Baader and J. H. Siekmann. Unification theory. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, Oxford, UK, 1993. To appear.
2. W. Bibel, S. Hölldobler, and J. Würtz. Cycle unification. In D. Kapur, editor, 11th International Conference on Automated Deduction, LNAI 607, pages 94–108, Saratoga Springs, New York, USA, June 15–18, 1992. Springer-Verlag.
3. H. Chen and J. Hsiang. Logic programming with recurrence domains. In J. Leach Albert, B. Monien, and M. Rodriguez, editors, Automata, Languages and Programming (ICALP'91), LNCS 510, pages 20–34. Springer-Verlag, 1991.
4. H. Chen, J. Hsiang, and H.-C. Kong. On finite representations of infinite sequences of terms. In S. Kaplan and M. Okada, editors, Conditional and Typed Rewriting Systems, 2nd International Workshop, LNCS 516, pages 100–114, Montreal, Canada, June 11–14, 1990. Springer-Verlag.
5. H. Comon. On unification of terms with integer exponents. Technical Report 770, LRI, Orsay, France, 1992. To appear in: Mathematical System Theory.