  In this paper we survey recent developments in the theory of groups acting on
$\Lambda$-trees. We are trying to unify all significant methods and techniques,
both classical and recently developed, in an attempt to present various faces
of the theory and to show how these methods can be used to solve major problems
about finitely presented $\Lambda$-free groups. Besides surveying results known
up to date we draw many new corollaries concerning structural and algorithmic
properties of such groups.
