1. Rekursive Algebren mit Kettenbedingungen;Bauer;Z. Math. Logik Grundlagen Math.,1974
2. G. Baumslag, F. Cannonita, and C. Miller, Computable algebra and group imbeddings, J. Algebra, in press.
3. Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems;Buchberger;Aequationes Math.,1970
4. A theoretical basis for the reduction of polynomials to canonical forms;Buchberger;ACM-SIGSAM Bulletin 39,1976
5. Sistemi normali di generatori per gli ideali di Z|x|;Franci;Enseignement Math. (2),1977