Lie's correspondence for commutative automorphic formal loops
  We develop Lie's correspondence and an explicit Baker-Campbell-Hausdorff formula for commutative automorphic formal loops. 
A. Grishkov, J. M. P\'erez-Izquierdo
math.RA