A geometric proof that SL_2(Z[t,t^-1]) is not finitely presented
  We give a new proof of the theorem of Krstic-McCool from the title. Our proof has potential applications to the study of finiteness properties of other subgroups of SL_2 resulting from rings of functions on curves. 
Kai-Uwe Bux, Kevin Wortman