Diophantine undecidability of C(t1, t2 (1992)

by H K Kim, F W Roush
Venue:Journal of Algebra