In recent years there has been an interest in using elliptic logarithms to find integral points on elliptic curves defined over the rationals, see , ,  and . This has been partly due to work of David , who gave an explicit lower bound for linear forms in elliptic logarithms. Previously, integral points on elliptic curves had been found by Siegel's method; that is, a reduction to a set of Thue equations which could be solved, in principle, by the methods in . For examples of this method see , , , , ,  and . Other techniques can be used to find all integral points in some special cases, see, for instance, .