“…These techniques take their name from one of the two methods available to compute these sets explicitly in the number field case: the method of Chabauty [7] (made 'effective' by Coleman [8]) applies to genus-g curves whose Jacobian has rank less than g over K; the other method, due to Dem'janenko [12] and generalised by Manin [26], applies to curves having m independent morphisms to an elliptic curve of rank less than m over K. This last method also works in the function field case, provided that the sets of points of bounded height are finite. While Chabauty's method has been successfully applied, and has given rise to new techniques of investigation (see, for instance, [4,5,8,15,16, 17] among others), there are only a few examples of computations using the Dem'janenko-Manin method [6,23,33]. One reason could be that the conditions for the application of this method are rather restrictive geometrically, and some particular curves of interest thus fail to satisfy the criterion.…”