Proper decompositions of finitely presented groups
  This is a report on our long term project to find an algorithm to decide if a finitely presented group has a non-trivial action on a tree. 
A. N. Bartholomew and M. J. Dunwoody
math.GT math.GR