Uniqueness theorem for stationary axisymmetric black holes in Einstein-Maxwell-axion-dilaton gravity

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