Other generalizations of the main conjecture proved using the Euler system method have been obtained by Karl Rubin, amongst others.
Other proofs the use the Euler system method have been shown by Karl Rubin and others.