Solving elliptic diophantine equations by estimating linear forms in elliptic logarithms. The case of quartic equations
Linear forms in logarithms and applications to Diophantine problems
A new approach to Baker's theorem on linear forms in logarithms I
Linear forms in logarithms in the p-adic case