  We prove the uniqueness theorem for stationary axisymmetric black hole
solution in Einstein-Maxwell-axion-dilaton gravity being the low-energy limit
of the heterotic string theory. We consider both non-degenerate and extremal
Kerr-Sen black hole solutions.
