A method for building permutation representations of finitely presented   groups
  We design an algorithm to find certain partial permutation representations of a finitely presented group $G$ (the bricks) that may be combined to a transitive permutation representation of $G$ (the mosaic) on the disjoint union. 
Gabriele Nebe, Richard Parker, and Sarah Rees
math.GR