Chabauty methods using elliptic curves
scientific article; zbMATH DE number 2005567