Mathematics of Computation, Vol. 47, No. 176 (Oct., 1986), pp. 713-727 (15 pages) We show how the Gelfond-Baker theory and diophantine approximation techniques can be ...