06B25 - Order, lattices, ordered algebraic structures :: Lattices :: Free lattices, projective lattices, word problems