%0 Journal Article %A Darmon, Henri %T Thaine's Method for Circular Units and a Conjecture of Gross %J Canadian journal of mathematics %D 1995 %P 302-317 %V 47 %N 2 %U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1995-016-6/ %R 10.4153/CJM-1995-016-6 %F 10_4153_CJM_1995_016_6